[feature] libbase/jsonLex.ml: anormal float extension

MLstate · Apr 4, 2012 · b0fead4 · b0fead4
1 parent 3aec545
commit b0fead4
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/libbase/jsonLex.ml b/libbase/jsonLex.ml
@@ -1,5 +1,5 @@
 (*
-    Copyright © 2011 MLstate
+    Copyright © 2011, 2012 MLstate
 
     This file is part of OPA.
 
@@ -55,7 +55,12 @@ let rec get_token = lexer
     | ':'       ->  JP.COLON
     | ','       ->  JP.COMMA
     | t_int     ->  JP.INT (int_of_string (Ulexing.utf8_lexeme lexbuf))
+
+    | "NaN"
+    | "Infinity"
+    | "-Infinity"
     | t_number  ->  JP.FLOAT (float_of_string (Ulexing.utf8_lexeme lexbuf))
+
     | "true"    ->  JP.TRUE
     | "false"   ->  JP.FALSE
     | "null"    ->  JP.NIL