aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source
diff options
context:
space:
mode:
Diffstat (limited to 'new-luxc/source')
-rw-r--r--new-luxc/source/luxc/parser.lux7
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