diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2024-09-22 23:16:27 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2024-09-22 23:16:27 +0200 |
| commit | 76917de6d801e3667cdf3f1bbbb5c2bceabdecb6 (patch) | |
| tree | 5be0ab5efb17077738d2acd51db95e5ce8b92b58 /src/AST/Pretty.hs | |
| parent | 7bc10684870e2249efbdcdddb4950f52d8527699 (diff) | |
Add some missing cases
Diffstat (limited to 'src/AST/Pretty.hs')
| -rw-r--r-- | src/AST/Pretty.hs | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/src/AST/Pretty.hs b/src/AST/Pretty.hs index f5e681a..7f60db1 100644 --- a/src/AST/Pretty.hs +++ b/src/AST/Pretty.hs @@ -92,6 +92,21 @@ ppExpr' d val = \case showString "case " . e' . showString (" of { Inl " ++ name1 ++ " -> ") . a' . showString (" ; Inr " ++ name2 ++ " -> ") . b' . showString " }" + ENothing _ _ -> return $ showString "nothing" + + EJust _ e -> do + e' <- ppExpr' 11 val e + return $ showParen (d > 10) $ showString "Just " . e' + + EMaybe _ a b e -> do + let STMaybe t = typeOf e + a' <- ppExpr' 11 val a + name <- genNameIfUsedIn t IZ b + b' <- ppExpr' 11 (Const name `SCons` val) b + e' <- ppExpr' 11 val e + return $ showParen (d > 10) $ + showString "maybe " . a' . showString " " . b' . showString " " . e' + EConstArr _ _ ty v | Dict <- scalRepIsShow ty -> return $ showsPrec d v |