Numerous extensions of the Tiger language are defined above. These extensions are not accessible to the user: if he uses one of them in a Tiger program, the compiler must reject it. They are used internally by the compiler itself, for example to desugar using concrete syntax. A special flag of the parser must be turned on to enable them.
|• Additional Lexical Specifications:||New Tokens|
|• Additional Syntactic Specifications:||EBNF grammar extension|
|• Additional Semantics:||Beyond Life, the Universe and Everything|