diff --git a/flap/src/hopix/hopixLexer.mll b/flap/src/hopix/hopixLexer.mll index d1e8f92..630f966 100644 --- a/flap/src/hopix/hopixLexer.mll +++ b/flap/src/hopix/hopixLexer.mll @@ -69,11 +69,12 @@ let constr_id = ['A'-'Z']['A'-'Z' 'a'-'z' '0'-'9' '_']* (* Identificateur de variables de type *) let type_variable = '`' ident (* Littéraux entiers *) -(*let int = '-'? (digit+ | hexa | bina | octa)*) -let int = '-'? ['0'-'9']+ -| "0x" ['0'-'9' 'a'-'f' 'A'-'F']+ -| "0b" ['0'-'1']+ -| "0o" ['0'-'7']+ + +let int ='-'? digit+ +| hexa +| bina +| octa + (* Littéraux caractères *) let letter = (digit | ['A'-'Z'] | ['a'-'z'])