Project

General

Profile

Revision e8f55c25 src/parsers/lexerLustreSpec.mll

View differences:

src/parsers/lexerLustreSpec.mll
90 90
  | blank +
91 91
      {token lexbuf}
92 92
  | (('-'? ['0'-'9'] ['0'-'9']* as l) '.' (['0'-'9']* as r)) as s
93
      {REAL (Num.num_of_string (l^r), String.length r, s)}
93
      {REAL (Real.create (l^r) (String.length r) s)}
94 94
  | (('-'? ['0'-'9']+ as l)  '.' (['0'-'9']+ as r) ('E'|'e') (('+'|'-') ['0'-'9'] ['0'-'9']* as exp)) as s
95
      {REAL (Num.num_of_string (l^r), String.length r + -1 * int_of_string exp, s)}
95
      {REAL (Real.create (l^r) (String.length r + -1 * int_of_string exp) s)}
96 96
  | '-'? ['0'-'9']+ 
97 97
      {INT (int_of_string (Lexing.lexeme lexbuf)) }
98 98
 (* | '/' (['_' 'A'-'Z' 'a'-'z'] ['A'-'Z' 'a'-'z' '_' '0'-'9']* '/')+ as s

Also available in: Unified diff