Changed the valid symbols from inclusvie to exclusive

anoma · Jul 17, 2022 · bf435d6 · bf435d6
1 parent 2ea049c
commit bf435d6
Showing 1 changed file with 4 additions and 12 deletions.
diff --git a/src/Juvix/Syntax/Concrete/Lexer.hs b/src/Juvix/Syntax/Concrete/Lexer.hs
@@ -118,19 +118,11 @@ validTailChar :: Char -> Bool
 validTailChar c =
   isAlphaNum c || validFirstChar c
 
+reservedSymbols :: [Char]
+reservedSymbols = "\";(){}[].≔λ\\"
+
 validFirstChar :: Char -> Bool
-validFirstChar c =
-  or
-    [ isLetter c,
-      cat == MathSymbol,
-      cat == CurrencySymbol,
-      cat == ModifierLetter,
-      c `elem` extraAllowedChars
-    ]
-  where
-    extraAllowedChars :: [Char]
-    extraAllowedChars = "_'-*,&"
-    cat = generalCategory c
+validFirstChar c = not $ isNumber c || isSpace c || (c `elem` reservedSymbols)
 
 dot :: forall e m. MonadParsec e Text m => m Char
 dot = P.char '.'