diff options
Diffstat (limited to 'language/l2_parse.ml')
| -rw-r--r-- | language/l2_parse.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/language/l2_parse.ml b/language/l2_parse.ml index a96f1992..d0c8f1a8 100644 --- a/language/l2_parse.ml +++ b/language/l2_parse.ml @@ -224,6 +224,7 @@ exp_aux = (* Expression *) | E_case of exp * (pexp) list (* pattern matching *) | E_let of letbind * exp (* let expression *) | E_assign of exp * exp (* imperative assignment *) + | E_exit of exp and exp = E_aux of exp_aux * l @@ -353,6 +354,8 @@ fundef_aux = (* Function definition *) type dec_spec_aux = (* Register declarations *) DEC_reg of atyp * id + | DEC_alias of id * exp + | DEC_typ_alias of atyp * id * exp type |