[ Character I/O | Reference Manual | Alphabetic Index ]


The character represented by the integer Code is put onto the buffered current output


Writes the character (or byte, in case of binary stream) represented by the integer Code onto the buffered current output stream. The acceptable value range depends on the stream's character encoding, or is 0 to 255 for binary streams.

Note that the output from put/1 is usually buffered, and is only output to the screen when the output is flushed e.g. when returning to the ECLiPSe prompt or explicitly using flush(output).

Character codes for the non-printable characters (i.e. control characters) are also acceptable.

Modes and Determinism


(4) instantiation fault
Code is not instantiated.
(5) type error
Code is instantiated, but not to an integer.


   Equivalent to put(output, Code).  (see put/2 for details).

See Also

get / 1, get / 2, put / 2, nl / 0