diff options
Diffstat (limited to 'language')
| -rw-r--r-- | language/l2.lem | 1 | ||||
| -rw-r--r-- | language/l2_typ.ott | 3 |
2 files changed, 3 insertions, 1 deletions
diff --git a/language/l2.lem b/language/l2.lem index d82fbbc7..b19639bb 100644 --- a/language/l2.lem +++ b/language/l2.lem @@ -506,6 +506,7 @@ and t_args = (* Arguments to type constructors *) type tag = (* Data indicating where the identifier arises and thus information necessary in compilation *) | Tag_empty + | 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 *) | Tag_default (* Type has come from default declaration, identifier may not be bound locally *) diff --git a/language/l2_typ.ott b/language/l2_typ.ott index a5346d8f..a3d6b15f 100644 --- a/language/l2_typ.ott +++ b/language/l2_typ.ott @@ -60,7 +60,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 + | None :: :: empty + | 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 }} | Default :: :: default {{ com Type has come from default declaration, identifier may not be bound locally }} |