Appendix B: Reserved Words

The list below contains all reserved words in the Magma language; these cannot be used as identifier names.

else
join
require

adj
end
le
requirege

and
eq
load
requirerange

assert
error
local
restore

assert2
eval
lt
return

assert3
exists
mark_sweep
save

assigned
exit
meet
sdiff

break
false
mod
select

by
for
ne
subset

case
forall
not
then

cat
forward
notadj
time

catch
fprintf
notin
to

clear
freeze
notsubset
true

cmpeq
function
or
try

cmpne
ge
print
until

continue
gt
printf
vprint

declare
if
procedure
vprintf

default
iload
quit
vtime

delete
import
random
when

diff
in
read
where

div
intrinsic
readi
while

do
is
repeat
xor

elif