[ Character I/O | The ECLiPSe Built-In Predicates | Reference Manual | Alphabetic Index ]

put_char(+Char)

Puts the single character string Char onto the buffered current output.
Char
Single character string.

Description

Puts the single-character string Char onto the current output.

Modes and Determinism

Exceptions

(4) instantiation fault
Char is not instantiated.
(5) type error
Char is instantiated, but not to a single character string.

Examples

   Equivalent to put_char(output, Char).  (see put_char/2 for details).



See Also

get_char / 1, get_char / 2, put_char / 2, nl / 0