We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent c1d9670 commit 3d043bbCopy full SHA for 3d043bb
1 file changed
src/ecLexer.mll
@@ -334,7 +334,9 @@ let upper = ['A'-'Z']
334
let lower = ['a'-'z']
335
let letter = upper | lower
336
let digit = ['0'-'9']
337
+let xdigit = ['0'-'9' 'a'-'f' 'A'-'F']
338
let uint = digit+
339
+let uxint = "0x" xdigit+
340
341
let ichar = (letter | digit | '_' | '\'')
342
let lident = (lower ichar*) | ('_' ichar+)
@@ -361,6 +363,7 @@ rule main = parse
361
363
| tident { [TIDENT (Lexing.lexeme lexbuf)] }
362
364
| mident { [MIDENT (Lexing.lexeme lexbuf)] }
365
| uint { [UINT (BI.of_string (Lexing.lexeme lexbuf))] }
366
+ | uxint { [UINT (BI.of_string (Lexing.lexeme lexbuf))] }
367
368
| (digit+ as n) '.' (digit+ as f) {
369
let nv, fv = BI.of_string n, BI.of_string f in
0 commit comments