diff options
Diffstat (limited to 'parsing/lexer.mll')
| -rw-r--r-- | parsing/lexer.mll | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/parsing/lexer.mll b/parsing/lexer.mll index 0696aac80..019b23c3d 100644 --- a/parsing/lexer.mll +++ b/parsing/lexer.mll @@ -250,7 +250,8 @@ rule token = parse { token lexbuf } | "_" { UNDERSCORE } - | "~" { TILDE } + | "~" + { TILDE } | "~" lowercase identchar * ':' { let s = Lexing.lexeme lexbuf in let name = String.sub s 1 (String.length s - 2) in @@ -382,6 +383,7 @@ rule token = parse | "!=" { INFIXOP0 "!=" } | "+" { PLUS } + | "+." { PLUSDOT } | "-" { MINUS } | "-." { MINUSDOT } |