11.3.101 halt/[0,1]   ISO

Synopsis

halt

halt(+ExitCode)

Causes an exit from the running process.

Arguments

ExitCode

integer, must be nonvar

Exit status code. Only the lower 8 bits of this value is used.

Description

Causes an exit from the running process with exit code ExitCode. ExitCode defaults to zero which, by convention, signifies a successful exit from the process.

halt/[0,1] is implemented by raising a reserved exception, which is handled at the top level; see ref-ere-int.

Exceptions

instantiation_error

ExitCode is uninstantiated.

type_error

ExitCode is not an integer.

See Also

abort/0, break/0, runtime_entry/1, ref-ere-int.