From cc5ec97d19d998926669d0b86bef1fb4e3da3030 Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Thu, 27 Mar 2025 23:49:05 +0100 Subject: Pretty: fix printing of EMaybe --- src/AST/Pretty.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/AST/Pretty.hs') diff --git a/src/AST/Pretty.hs b/src/AST/Pretty.hs index 527a7ca..604133b 100644 --- a/src/AST/Pretty.hs +++ b/src/AST/Pretty.hs @@ -130,10 +130,10 @@ ppExpr' d val expr = case expr of let STMaybe t = typeOf e a' <- ppExpr' 11 val a name <- genNameIfUsedIn t IZ b - b' <- ppExpr' 11 (Const name `SCons` val) b + b' <- ppExpr' 0 (Const name `SCons` val) b e' <- ppExpr' 11 val e return $ ppParen (d > 10) $ - ppApp (ppString "maybe" <> ppX expr) [a', b', e'] + ppApp (ppString "maybe" <> ppX expr) [a', ppLam [ppString name] b', e'] EConstArr _ _ ty v | Dict <- scalRepIsShow ty -> return $ ppString (showsPrec d v "") <> ppX expr -- cgit v1.2.3-70-g09d2