From d2eb020f1f227b2018ab9b6e285f2be833496dad Mon Sep 17 00:00:00 2001 From: janmasrovira Date: Fri, 10 Feb 2023 16:57:47 +0100 Subject: [PATCH] Respect lambda Ascii/Unicode (#1838) - Closes #1836 --- src/Juvix/Compiler/Concrete/Pretty/Base.hs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/Juvix/Compiler/Concrete/Pretty/Base.hs b/src/Juvix/Compiler/Concrete/Pretty/Base.hs index 8ca186ef8f..8c253c21f4 100644 --- a/src/Juvix/Compiler/Concrete/Pretty/Base.hs +++ b/src/Juvix/Compiler/Concrete/Pretty/Base.hs @@ -516,7 +516,8 @@ instance (SingI s) => PrettyCode (Case s) where instance (SingI s) => PrettyCode (Lambda s) where ppCode Lambda {..} = do lambdaClauses' <- bracesIndent <$> ppPipeBlock _lambdaClauses - return $ kwLambda <+> lambdaClauses' + lambdaKw' <- ppCode _lambdaKw + return $ lambdaKw' <+> lambdaClauses' instance (SingI s) => PrettyCode (FunctionClause s) where ppCode FunctionClause {..} = do