Browse Source

Remove delimiters not in LOGO

DricomDragon 5 years ago
parent
commit
5d1a552416
1 changed files with 6 additions and 2 deletions
  1. 6 2
      logoPlayer/galgas-sources/logoPlayer-lexique.galgas

+ 6 - 2
logoPlayer/galgas-sources/logoPlayer-lexique.galgas

@@ -46,7 +46,11 @@ rule '0'->'9' {
     enterCharacterIntoString (!?tokenString !*)
   while '_' :
   end
-  convertDecimalStringIntoUInt (!tokenString !?uint32value error decimalNumberTooLarge, internalError)
+  convertDecimalStringIntoUInt (
+    !tokenString
+    !?uint32value
+    error decimalNumberTooLarge, internalError
+  )
   send $integer$
 }
 
@@ -75,7 +79,7 @@ rule '"' {
 
 style delimitersStyle -> "Delimiters"
 list delimitorsList style delimitersStyle error message "the '%K' delimitor" {
-  ":",    ",",    ";",   "!",  "{",  "}", "->", "@", "*", "-"
+  ";",    "."
 }
 
 rule list delimitorsList