diff options
Diffstat (limited to 'language/l2_parse.ott')
| -rw-r--r-- | language/l2_parse.ott | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/language/l2_parse.ott b/language/l2_parse.ott index a655959d..9785290f 100644 --- a/language/l2_parse.ott +++ b/language/l2_parse.ott @@ -521,6 +521,8 @@ exp :: 'E_' ::= | exp := exp' :: :: assign {{ com imperative assignment }} + | exit exp :: :: exit + | ( exp ) :: S :: paren {{ ichlo [[exp]] }} @@ -723,6 +725,9 @@ dec_spec :: 'DEC_' ::= {{ com Register declarations }} {{ aux _ l }} | register atyp id :: :: reg + | register alias id = exp :: :: alias + | register alias atyp id = exp :: :: typ_alias + %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Top-level definitions % |