[ 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.
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