Minor new regression test for lexing decimal fractions.

HOL-Theorem-Prover · Aug 3, 2011 · 7d77e3c · 7d77e3c
1 parent 2d9dc65
commit 7d77e3c
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/parse/selftest.sml b/src/parse/selftest.sml
@@ -235,7 +235,9 @@ val _ = app test [("abc", [Ident "abc"]),
                                           fracpart = ai 23}]),
                   ("0.", [Numeral (ai 0, NONE), Ident "."]),
                   ("a0.", [Ident "a0", Ident "."]),
-                  ("-0.", [Ident "-", Numeral (ai 0, NONE), Ident "."])
+                  ("-0.", [Ident "-", Numeral (ai 0, NONE), Ident "."]),
+                  ("{2.3", [Ident "{", Fraction{wholepart = ai 2, places = 1,
+                                                fracpart = ai 3}])
                   ]