/usr/share/axiom-20170501/src/algebra/EXIT.spad is in axiom-source 20170501-3.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 | )abbrev domain EXIT Exit
++ Author: Stephen M. Watt
++ Date Created: 1986
++ Date Last Updated: May 30, 1991
++ Description:
++ A function which does not return directly to its caller should
++ have Exit as its return type.
++
++ Note that It is convenient to have a formal \spad{coerce} into each type
++ from type Exit. This allows, for example, errors to be raised in
++ one half of a type-balanced \spad{if}.
Exit() : SIG == CODE where
SIG ==> SetCategory
CODE ==> add
coerce(n:%) == error "Cannot use an Exit value."
n1 = n2 == error "Cannot use an Exit value."
|