[
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