11.3.172 put_code/[1,2] [ISO]

Synopsis

put_code(+Code)

put_code(+Stream, +Code)

The code Code is written to the stream Stream.

Arguments

Stream

stream_object, must be ground

A valid output text stream, defaults to the current output stream.

Code

code, must be nonvar

Exceptions

Stream errors (see ref-iou-sfh-est), plus:

instantiation_error

type_error

Code is not a code.

permission_error

There is an error in the bottom layer of write function of the stream.

See Also

ref-iou-cou.