From 8e22c59aa8e851a19570d3587085e89af3e41d72 Mon Sep 17 00:00:00 2001 From: John Doty Date: Sat, 24 Aug 2024 10:01:05 -0700 Subject: [PATCH] This is a nicer number format (e.g. 1e3) --- grammar.py | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/grammar.py b/grammar.py index bffc037..c6438dd 100644 --- a/grammar.py +++ b/grammar.py @@ -393,12 +393,12 @@ class FineGrammar(Grammar): Re.set(("0", "9")).plus(), Re.seq( Re.literal("."), - Re.set(("0", "9")), - Re.seq( - Re.set("e", "E"), - Re.set("+", "-").question(), - Re.set(("0", "9")).plus(), - ).question(), + Re.set(("0", "9")).plus(), + ).question(), + Re.seq( + Re.set("e", "E"), + Re.set("+", "-").question(), + Re.set(("0", "9")).plus(), ).question(), ) )