anoma/juvix
1
1
Fork 0
mirror of https://github.com/anoma/juvix.git synced 2024-12-13 19:49:20 +03:00
Code Issues Projects Releases Wiki Activity

Respect lambda Ascii/Unicode (#1838)

Browse Source 
- Closes #1836
This commit is contained in:
janmasrovira 2023-02-10 16:57:47 +01:00 committed by GitHub
parent 33a0675c99
commit d2eb020f1f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/Juvix/Compiler/Concrete/Pretty/Base.hs
View File

@ -516,7 +516,8 @@ instance (SingI s) => PrettyCode (Case s) where
instance (SingI s) => PrettyCode (Lambda s) where instance (SingI s) => PrettyCode (Lambda s) where
ppCode Lambda {..} = do ppCode Lambda {..} = do
lambdaClauses' <- bracesIndent <$> ppPipeBlock _lambdaClauses lambdaClauses' <- bracesIndent <$> ppPipeBlock _lambdaClauses
return $ kwLambda <+> lambdaClauses' lambdaKw' <- ppCode _lambdaKw
return $ lambdaKw' <+> lambdaClauses'
instance (SingI s) => PrettyCode (FunctionClause s) where instance (SingI s) => PrettyCode (FunctionClause s) where
ppCode FunctionClause {..} = do ppCode FunctionClause {..} = do