diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2025-03-27 23:49:05 +0100 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2025-03-27 23:49:05 +0100 |
| commit | cc5ec97d19d998926669d0b86bef1fb4e3da3030 (patch) | |
| tree | 8df16e2e798bd1277f8639c4d96de4af81c70dc5 | |
| parent | 816f6d2bd816d4d84413f4bf6cb17198ad1aa39b (diff) | |
Pretty: fix printing of EMaybe
| -rw-r--r-- | src/AST/Pretty.hs | 4 |
1 files changed, 2 insertions, 2 deletions
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 |