Additional Lexical SpecificationsΒΆ

Additional keywords and identifiers.


_chunks, _exp, _lvalue and _namety are metavariables. These keywords are used to plug an existing AST into an input to be parsed. There is a keyword per type of pluggable AST (list of declarations, expression, l-value, type name).

Reserved identifiers

They start with an underscore, and use the same letters as standard identifiers. These symbols are used internally by the compiler to name or rename entities. Note that :code:`_main` is still a valid identifier, not a reserved one.

reserved-id = "_" { letter | digit | "_" }

It is a reserved identifier used internally by TC-B, Array bounds checking to cast an expression or a l-value to a given type.