diff options
Diffstat (limited to 'language/l2.ott')
| -rw-r--r-- | language/l2.ott | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/language/l2.ott b/language/l2.ott index 8aa7417a..a6918526 100644 --- a/language/l2.ott +++ b/language/l2.ott @@ -628,6 +628,8 @@ exp :: 'E_' ::= {{ com imperative assignment }} | ( exp ) :: S :: paren {{ ichlo [[exp]] }} + | ( annot ) exp :: :: internal_cast {{ com This is an internal cast, generated during type checking that will resolve into a syntactic cast after }} + | annot :: :: internal_exp {{ com This is an internal use of an nexp (in the annot) for passing length information after resolution of constraints }} lexp :: 'LEXP_' ::= {{ com lvalue expression }} |