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/l2.lem | |
| parent | 90085a748f3657e330696844127c8e85d9f0329f (diff) | |
Alias support for ocaml mode
Diffstat (limited to 'language/l2.lem')
| -rw-r--r-- | language/l2.lem | 2 |
1 files changed, 2 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 *) |