diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/lexer.mll | 2 | ||||
| -rw-r--r-- | src/parser.mly | 6 |
2 files changed, 7 insertions, 1 deletions
diff --git a/src/lexer.mll b/src/lexer.mll index 0b50cd4d..7ee37035 100644 --- a/src/lexer.mll +++ b/src/lexer.mll @@ -60,6 +60,8 @@ let kw_table = [ ("and", (fun _ -> And)); ("as", (fun _ -> As)); + ("bitzero", (fun _ -> Bitzero)); + ("bitone", (fun _ -> Bitone)); ("bits", (fun _ -> Bits)); ("by", (fun _ -> By)); ("case", (fun _ -> Case)); diff --git a/src/parser.mly b/src/parser.mly index be69fc00..c00eddc3 100644 --- a/src/parser.mly +++ b/src/parser.mly @@ -123,7 +123,7 @@ let star = "*" /*Terminals with no content*/ -%token And As Bits By Case Clause Const Dec Default Deinfix Effect EFFECT End Enumerate Else Extern +%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 Scattered Struct Switch Then True TwoStarStar Type TYPE Typedef Undefined Union With Val @@ -394,6 +394,10 @@ lit: { lloc (L_hex $1) } | Undefined { lloc L_undef } + | Bitzero + { lloc L_zero } + | Bitone + { lloc L_one } atomic_pat: |