diff options
Diffstat (limited to 'language/l2.ott')
| -rw-r--r-- | language/l2.ott | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/language/l2.ott b/language/l2.ott index 5d1994e2..c56a186b 100644 --- a/language/l2.ott +++ b/language/l2.ott @@ -117,7 +117,7 @@ id :: '' ::= | unit :: M :: unit {{ ichlo (Id "unit") }} | nat :: M :: nat {{ ichlo (Id "nat") }} | string :: M :: string {{ tex \ottkw{string} }} {{ ichlo (Id "string") }} - | enum :: M :: enum {{ ichlo (Id "enum") }} + | range :: M :: range {{ ichlo (Id "range") }} | vector :: M :: vector {{ ichlo (Id "vector") }} | list :: M :: list {{ ichlo (Id "list") }} | set :: M :: set {{ ichlo (Id "set") }} @@ -184,6 +184,7 @@ base_effect :: 'BE_' ::= | wreg :: :: wreg {{ com write register }} | rmem :: :: rmem {{ com read memory }} | wmem :: :: wmem {{ com write memory }} + | barr :: :: barr {{ com memory barrier }} | undef :: :: undef {{ com undefined-instruction exception }} | unspec :: :: unspec {{ com unspecified values }} | nondet :: :: nondet {{ com nondeterminism from intra-instruction parallelism }} |