Commits

Sébastien Ferré  committed 400d364

Float and DotDot are no more tokens.

  • Participants
  • Parent commits 907ad3e

Comments (0)

Files changed (1)

       then begin
 	incr r;
 	match s.[!r] with
-	  'n' -> s.[!w] <- '\n'
+	| 'n' -> s.[!w] <- '\n'
 	| 't' -> s.[!w] <- '\t'
 	| c' -> s.[!w] <- c' end
       else s.[!w] <- c;
 | '<' { LT }
 | '>' { GT }
 | ',' { Comma }
-| '.''.' { DotDot }
 | '.' { Dot }
 | ':' { Colon }
 | ';' { SemiColon }
     { Ident(Lexing.lexeme lexbuf) }
 | ['A'-'Z' '_'] ident_char *
     { Term(Lexing.lexeme lexbuf) }
-| ['+' '-']? digit+
-    { Int(int_of_string(Lexing.lexeme lexbuf)) }
-| ['+' '-']? digit* '.' digit* (['e' 'E'] ['+' '-']? digit+)?
-    { let s = String.lowercase (Lexing.lexeme lexbuf) in
-      Float(float_of_string s, prec_of_sfloat s) }
+| digit+
+    { Nat(int_of_string(Lexing.lexeme lexbuf)) }
 | '`' _ '`'
     { Char((norm_string (Lexing.lexeme lexbuf)).[1]) }
 | '"' [^ '\\' '"']* ('\\' _ [^ '\\' '"']*)* '"'