diff options
| author | Kathy Gray | 2014-07-08 15:07:45 +0100 |
|---|---|---|
| committer | Kathy Gray | 2014-07-08 15:07:45 +0100 |
| commit | e482abd733622647f97b4ebecc6cefeb6b1fccee (patch) | |
| tree | c4d1fbb605fb28a7f23522d4435423328c45328a /language/l2_parse.ml | |
| parent | 54bfa59acb4244e29bc9064f09fc800e252fea39 (diff) | |
Extend language to support register aliases and to support interrupts, traps and the like.
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 |