]> gitweb.factorcode.org Git - factor.git/commitdiff
formatting: simplify EBNF.
authorJohn Benediktsson <mrjbq7@gmail.com>
Sat, 21 Nov 2020 16:44:34 +0000 (08:44 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sat, 21 Nov 2020 16:44:34 +0000 (08:44 -0800)
basis/formatting/formatting.factor

index 06161fa06d418cd136e69a4d0abb13f905cf2c14..c2b37fec61156f1a8d1afc0a76174f9b5194bc61 100644 (file)
@@ -144,7 +144,7 @@ formats   = "%" (types|fmt-%|lists|assocs|unknown) => [[ second ]]
 
 plain-text = (!("%").)+          => [[ >string ]]
 
-text      = (formats|plain-text)* => [[ ]]
+text      = (formats|plain-text)*
 
 ]=]
 
@@ -245,7 +245,7 @@ formats   = "%" (formats_)       => [[ second ]]
 
 plain-text = (!("%").)+          => [[ >string ]]
 
-text      = (formats|plain-text)* => [[ ]]
+text      = (formats|plain-text)*
 
 ]=]