The Fortress Language Specification - CiteSeerX

BIG SI unit absorbs abstract also api as
asif at atomic bool case catch coerces
coercion component comprises default dim do elif
else end ensures except excludes exit export
extends finally fn for forbid from getter
hidden ident idiom if import in int
invariant io juxtaposition label largest nat object
of or opr private property provided requires
self settable setter smallest spawn syntax test
then throw throws trait transient try tryatomic
type typecase unit value var where while
widening widens with wrapped
The operators on units, namely cubed, cubic, inverse, per, square, and squared, are also special reserved words.
To avoid confusion, Fortress reserves the following tokens:
goto idiom public pure reciprocal static
They do not have any special meanings but they cannot be used as identifiers.
5.9 Character Literals
A character literal consists of a sequence of characters enclosed in single quotation marks. The character that begins
a character literal is called the literal’s opening mark; the character that ends it is its closing mark. For convenience,
the marks may be true typographical “curly” single quotation marks (U+2018 and U+2019), a pair of apostrophe
characters (U+0027), or a “backquote” character (U+0060) and an apostrophe character. As discussed in Section 13.1,
a character literal evaluates to a value of type Character (see Section 8.7), which represents an abstract Unicode
character.
A left single quotation mark (U+2018) or a backquote begins a character literal unless it is within a comment, another
character literal, or a string literal. An apostrophe (U+2018) begins a character literal unless it is within a comment,
another character literal, or a string literal, or it is immediately preceded by a word character (i.e.., a letter, digit,
connecting punctuation, prime, or apostrophe). In either case, the character literal ends with the nearest apostrophe or
right single quotation mark after the first character following the opening mark. In particular, an apostrophe or right
single quotation mark immediately following the opening mark of a character literal is not a closing mark. Thus, for
example, the sequence ’’’ is a single character literal with one enclosed character ’.
It is a static error if any of the enclosed characters of a character literal is a line feed, form feed, carriage return, or
any character forbidden outside comments in a Fortress program (see Section 5.1), or if there is exactly one enclosed
character and it is a backslash (U+005C). It is also a static error if any of the enclosed characters is a string literal delimiter
that is not immediately preceded by a backslash (i.e., an unescaped string literal delimiter). This last restriction
is necessary to prevent ASCII conversion from changing the boundaries of string literals (see Appendix E).
The sequence of enclosed characters may be a single character (e.g., ‘a’, ’$’, ‘α’, ‘⊕’), a sequence of four or more
hexadecimal digits identifying the code point of a Unicode character (e.g., ‘001C’, ‘FBAB’, ‘1D11E’), the official Unicode
5.0 name or an alternative name of a Unicode character with spaces and hyphens intact (e.g., ‘PLUS-MINUS SIGN’),
or a character-literal escape sequence. The character-literal escape sequences, and the characters such character literals
evaluate to, are:
47