diff --git a/flap/src/hopix/hopixLexer.mll b/flap/src/hopix/hopixLexer.mll index b5aa893..8ad16d7 100644 --- a/flap/src/hopix/hopixLexer.mll +++ b/flap/src/hopix/hopixLexer.mll @@ -47,9 +47,9 @@ let blank = [' ' '\009' '\012'] let hex_dig = ['0'-'9' 'a'-'f' 'A'-'F'] let digit = ['0'-'9'] -let hexa = "0x" hex_dig -let bina = "0b" ['0'-'1'] -let octa = "0o" ['0'-'7'] +let hexa = "0x" hex_dig+ +let bina = "0b" ['0'-'1']+ +let octa = "0o" ['0'-'7']+ (* Définition d'un atom @@ -71,7 +71,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 ='-'? digit+ +| hexa +| bina +| octa + (* Littéraux caractères *) let letter = (digit | ['A'-'Z'] | ['a'-'z'])