infer

[fp.git] / ast.icl

diff --git a/ast.icl b/ast.icl
index 3f52921..8911114 100644 (file)
--- a/ast.icl
+++ b/ast.icl
@@ -15,7 +15,8 @@ where
        pretty (Literal v) = pretty v
        pretty (Variable v) = string v
        pretty (Apply a b) = parens (pretty a <+> pretty b)
-       pretty (Lambda a b) = string "\\" <-> string a <-> string "->" <-> pretty b
+       pretty (Lambda a b) = string "\\" <-> string a <+> string "->" <+> pretty b
+       pretty (Let v a b) = string "let" <+> string v <+> string "=" <+> pretty a <+> string "in" <+> pretty b
        pretty (Code b) = string "code" <+> string b
 
 instance Pretty Function