anoma/juvix
1
1
Fork 0
mirror of https://github.com/anoma/juvix.git synced 2024-12-11 08:25:46 +03:00
Code Issues Projects Releases Wiki Activity

Remove lambda from reservedSymbols (#1568)

Browse Source
This commit is contained in:
Łukasz Czajka 2022-09-30 12:32:17 +02:00 committed by GitHub
parent 803d2008d9
commit a39ebf92f6
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/Juvix/Compiler/Core/Translation/FromSource.hs
View File

@ -471,10 +471,10 @@ atom ::
HashMap Text Index -> HashMap Text Index ->
ParsecS r Node ParsecS r Node
atom varsNum vars = atom varsNum vars =
exprNamed varsNum vars exprLambda varsNum vars
<|> exprNamed varsNum vars
<|> exprConstInt <|> exprConstInt
<|> exprConstString <|> exprConstString
<|> exprLambda varsNum vars
<|> exprLetrecMany varsNum vars <|> exprLetrecMany varsNum vars
<|> exprLetrecOne varsNum vars <|> exprLetrecOne varsNum vars
<|> exprLet varsNum vars <|> exprLet varsNum vars

2
src/Juvix/Parser/Lexer.hs
View File

@ -102,7 +102,7 @@ delimiterSymbols :: [Char]
delimiterSymbols = "," delimiterSymbols = ","
reservedSymbols :: [Char] reservedSymbols :: [Char]
reservedSymbols = "@\";(){}[].λ\\" reservedSymbols = "@\";(){}[]."
validFirstChar :: Char -> Bool validFirstChar :: Char -> Bool
validFirstChar c = not (isNumber c || isSpace c || (c `elem` reservedSymbols)) validFirstChar c = not (isNumber c || isSpace c || (c `elem` reservedSymbols))