diff options
| author | Kathy Gray | 2015-09-30 15:06:17 +0100 |
|---|---|---|
| committer | Kathy Gray | 2015-09-30 15:06:17 +0100 |
| commit | 5c58eaecfe0a5199d8ffb4c8edbc5b1f8cead1f7 (patch) | |
| tree | 5bf483f882f36d259fd15840d54bab730b04d8ac /language | |
| parent | 90085a748f3657e330696844127c8e85d9f0329f (diff) | |
Alias support for ocaml mode
Diffstat (limited to 'language')
| -rw-r--r-- | language/l2.lem | 2 | ||||
| -rw-r--r-- | language/l2_typ.ott | 2 |
2 files changed, 4 insertions, 0 deletions
diff --git a/language/l2.lem b/language/l2.lem index 1055a8ff..54b31eb5 100644 --- a/language/l2.lem +++ b/language/l2.lem @@ -538,6 +538,8 @@ and t_args = (* Arguments to type constructors *) type tag = (* Data indicating where the identifier arises and thus information necessary in compilation *) | Tag_empty + | Tag_intro (* Denotes an assignment and lexp that introduces a binding *) + | Tag_set (* Denotes an expression that mutates a local variable *) | Tag_global (* Globally let-bound or enumeration based value/variable *) | Tag_ctor (* Data constructor from a type union *) | Tag_extern of maybe string (* External function, specied only with a val statement *) diff --git a/language/l2_typ.ott b/language/l2_typ.ott index b2ac1d5d..f768c65b 100644 --- a/language/l2_typ.ott +++ b/language/l2_typ.ott @@ -70,6 +70,8 @@ optx :: '' ::= {{ phantom }} {{ lem maybe string }} {{ ocaml string option }} tag :: 'Tag_' ::= {{ com Data indicating where the identifier arises and thus information necessary in compilation }} | None :: :: empty + | Intro :: :: intro {{ com Denotes an assignment and lexp that introduces a binding }} + | Set :: :: set {{ com Denotes an expression that mutates a local variable }} | Global :: :: global {{ com Globally let-bound or enumeration based value/variable }} | Ctor :: :: ctor {{ com Data constructor from a type union }} | Extern optx :: :: extern {{ com External function, specied only with a val statement }} |