diff options
| author | Kathy Gray | 2015-06-24 15:34:14 +0100 |
|---|---|---|
| committer | Kathy Gray | 2015-06-24 15:34:14 +0100 |
| commit | 44290b8b62f118bfd6f1b6da01f850cfc2816cbb (patch) | |
| tree | 54d685a281ee23d005e9f0ddd83004e2af0a5b8c /src/pre_lexer.mll | |
| parent | a947fe25f647fe83f6ec24599173c61eaa342ea1 (diff) | |
Support new memory write events in the sail front end and pretty printer
Events are eamem to signal the memory address to write to and wmv to pass the value to write
Diffstat (limited to 'src/pre_lexer.mll')
| -rw-r--r-- | src/pre_lexer.mll | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/pre_lexer.mll b/src/pre_lexer.mll index b8869812..8987c0fd 100644 --- a/src/pre_lexer.mll +++ b/src/pre_lexer.mll @@ -146,7 +146,7 @@ rule token = parse (M.find i kw_table) () else Id(r i) } - | tyvar_start startident ident* as i { Other } + | tyvar_start startident ident* { Other } | "&" oper_char+ | "@" oper_char+ | "^" oper_char+ | "/" oper_char+ | "=" oper_char+ | "!" oper_char+ | ">" oper_char+ | "<" oper_char+ | "+" oper_char+ | "*" oper_char+ | "~" oper_char+ | "&&" oper_char+ | "^^" oper_char+| "::" oper_char+| "=/=" oper_char+ | @@ -158,9 +158,9 @@ rule token = parse ">_ui" oper_char+ | "<=_s" oper_char+ | "<=_si" oper_char+ | "<=_u" oper_char+ | "<=_ui" oper_char+ | "<_s" oper_char+ | "<_si" oper_char+ | "<_u" oper_char+ | "<_ui" oper_char+ | "**_s" oper_char+ | "**_si" oper_char+ | "*_u" oper_char+ | "*_ui" oper_char+ | "2^" oper_char+ { Other } - | digit+ as i { Other } - | "0b" (binarydigit+ as i) { Other } - | "0x" (hexdigit+ as i) { Other } + | digit+ { Other } + | "0b" (binarydigit+) { Other } + | "0x" (hexdigit+) { Other } | '"' { let _ = string (Lexing.lexeme_start_p lexbuf) (Buffer.create 10) lexbuf in Other } | eof { Eof } | _ as c { raise (LexError( |