Reserved Words



next up previous contents index
Next: Identifiers Up: Lexical Considerations Previous: Lexical Considerations

Reserved Words

The following tokens are reserved words:

begin
bind
break
class
continue
do
else
elseif
end
except
exit
for
has
hides

if
implements
in
inherits
iter
make
makes
module
others
proc
provides
resignal
return

returns
same_object
self
signal
signals
tagcase
then
type
typecase
when
where
while
yield
yields

In addition, the following tokens are reserved words because they are the names of the built-in types and parameterized types, or the names of literals for these types:

any
array
bool
char
false
int

maybe
nil
null
oneof
real
record

sequence
string
struct
true
vector

The token "failure" has a special reserved meaning when used as an exception name (8.14) but is not a reserved word.



theta-questions@lcs.mit.edu