[ ECLiPSe Character-based I/O built-in.|Group Index| Full 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.

Fail Conditions

None.

Resatisfiable

No.

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