diff options
Diffstat (limited to 'language')
| -rw-r--r-- | language/l2_typ.ott | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/language/l2_typ.ott b/language/l2_typ.ott index f768c65b..c4c6d0b2 100644 --- a/language/l2_typ.ott +++ b/language/l2_typ.ott @@ -72,6 +72,7 @@ tag :: 'Tag_' ::= | 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 }} + | Tuple :: :: tuple_assign {{ com Denotes an assignment with a tuple lexp }} | 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 }} |