diff options
Diffstat (limited to '')
| -rw-r--r-- | new-luxc/source/luxc/parser.lux | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/new-luxc/source/luxc/parser.lux b/new-luxc/source/luxc/parser.lux index 7d9c77f2b..9778eb465 100644 --- a/new-luxc/source/luxc/parser.lux +++ b/new-luxc/source/luxc/parser.lux @@ -237,7 +237,12 @@ (p;default "" (l;one-of "-")) rich-digits^ (l;one-of ".") - rich-digits^) + rich-digits^ + (p;default "" + ($_ l;seq + (l;one-of "eE") + (p;default "" (l;one-of "+-")) + (l;many l;decimal)))) number;Codec<Text,Real>] [parse-deg #;Deg |