diff options
Diffstat (limited to 'language')
| -rw-r--r-- | language/l2.lem | 4 | ||||
| -rw-r--r-- | language/l2_typ.ott | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/language/l2.lem b/language/l2.lem index 6291acba..16bb325e 100644 --- a/language/l2.lem +++ b/language/l2.lem @@ -1,4 +1,4 @@ -(* generated by Ott 0.25 from: l2_typ.ott l2.ott *) +(* generated by Ott 0.24 from: l2_typ.ott l2.ott *) open import Pervasives open import Map @@ -540,7 +540,7 @@ type tag = (* Data indicating where the identifier arises and thus information | 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 *) | Tag_spec - | Tag_enum + | Tag_enum of integer | Tag_alias diff --git a/language/l2_typ.ott b/language/l2_typ.ott index 3ffc5b2b..3dec6812 100644 --- a/language/l2_typ.ott +++ b/language/l2_typ.ott @@ -75,7 +75,7 @@ tag :: 'Tag_' ::= | 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 }} | Spec :: :: spec - | Enum :: :: enum + | Enum num :: :: enum | Alias :: :: alias ne :: 'Ne_' ::= |