List of Import References :
See BOOL
See DENOTATION
SIGNATURE ABORT[some]
$Date: 1998/06/16 16:00:14 $ ($Revision: 1.1.1.1 $)
-- compiler-builtin fatal error IMPORT BOOL ONLY bool DENOTATION ONLY denotation SORT some FUN ABORT : denotation -> some -- Prints message and aborts programm execution -- (generating a post-mortem dump, depending on the -- runtime environment) /* ABORT is a compiler builtin primitive. Although ABORTs are always constant expressions, they are never lifted nor partial evaluated if optimization is enabled. The form: IF assertion THEN expr ELSE ABORT("assertion ... fails") FI is reduced to expr if the oc option -dc is enabled (see oc(1)). */
next node: BOOL,
prev node: DENOTATION,
up to node: Subsystem Compiler