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