Bugfix: .1 treated as dot if preceded by space.

Some recent work in supporting .slot syntax (uref dot) broke
the treatment of floating point literals. This is because part
of the trick is that a uref dot is recognized with leading
whitespace as part of the token. But that of course means
it steals the match for some floating-point tokens; oops!

* parser.l (grammar): All rules for floating-point tokens
which can match a leading decimal point now munch optional
whitespace first.

1 files changed, 4 insertions, 4 deletions

diff --git a/parser.l b/parser.l
index 418ecc48..fbff9bb4 100644
--- a/parser.l
+++ b/parser.l
@@ -296,7 +296,7 @@ UONLY   {U2}{U}|{U3}{U}{U}|{U4}{U}{U}{U}
   return NUMBER;
 }
 
-<SPECIAL,NESTED,BRACED>{FLO} {
+<SPECIAL,NESTED,BRACED>{WS}{FLO} {
   val str = string_own(utf8_dup_from(yytext));
 
   if (yy_top_state(yyscanner) == INITIAL
@@ -308,9 +308,9 @@ UONLY   {U2}{U}|{U3}{U}{U}|{U4}{U}{U}{U}
   return NUMBER;
 }
 
-<SPECIAL>({FLO}|{FLODOT}){TOK} |
-<BRACED>({FLO}|{FLODOT}){BTOK} |
-<NESTED>({FLO}|{FLODOT}){NTOK} |
+<SPECIAL>{WS}({FLO}|{FLODOT}){TOK} |
+<BRACED>{WS}({FLO}|{FLODOT}){BTOK} |
+<NESTED>{WS}({FLO}|{FLODOT}){NTOK} |
 <SPECIAL,NESTED,BRACED>{FLO}[.][^.]? {
   val str = string_utf8(yytext);