diff options
Diffstat (limited to 'src/parser.mly')
| -rw-r--r-- | src/parser.mly | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/parser.mly b/src/parser.mly index 2679c2ca..0ee7093d 100644 --- a/src/parser.mly +++ b/src/parser.mly @@ -124,7 +124,7 @@ let make_vector_sugar typ typ1 = %token And As Bitzero Bitone Bits By Case Clause Const Dec Default Deinfix Effect EFFECT End Enumerate Else Extern %token False Forall Foreach Function_ If_ In IN Inc Let_ Member Nat Order Pure Rec Register -%token Rreg Wreg Rmem Wmem Undef Unspec Nondet +%token Barr Rreg Wreg Rmem Wmem Undef Unspec Nondet %token Scattered Struct Switch Then True TwoStarStar Type TYPE Typedef Undefined Union With Val /* Avoid shift/reduce conflict - see right_atomic_exp rule */ @@ -282,6 +282,8 @@ kind: { K_aux(K_kind($1), loc ()) } effect: + | Barr + { efl BE_barr } | Rreg { efl BE_rreg } | Wreg |