diff options
| author | Alasdair Armstrong | 2017-08-10 20:28:18 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-08-10 20:28:18 +0100 |
| commit | de787176067f4569af1ed4133b0edf72d4dcd4a1 (patch) | |
| tree | 95d6bfe8b1ae08902051373edbc9758f75bdf171 /src/lexer2.mll | |
| parent | c47814182eca36d65d1c2bf1ca34cc1027df5871 (diff) | |
Improved operator support for test menhir parser
Diffstat (limited to 'src/lexer2.mll')
| -rw-r--r-- | src/lexer2.mll | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/lexer2.mll b/src/lexer2.mll index ebd806c4..a51067aa 100644 --- a/src/lexer2.mll +++ b/src/lexer2.mll @@ -174,7 +174,8 @@ rule token = parse token lexbuf } | "&" { (Amp(r"&")) } | "|" { Bar } - | "^" { (Carrot(r"^")) } + | "2" ws "^" { TwoCaret } + | "^" { (Caret(r"^")) } | ":" { Colon(r ":") } | "," { Comma } | "." { Dot } |
