X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;ds=sidebyside;f=AST.icl;h=774e158ef5f9d774ad0dd355ce520243d009e6e7;hb=74b900cf6db033a51e177f7f85d835dae44217e5;hp=24d2af101b6e8a994c0f8218fcf902a165408fb0;hpb=9b58e55e2be665d4e2274ea5af8b734e556d35a0;p=cc1516.git diff --git a/AST.icl b/AST.icl index 24d2af1..774e158 100644 --- a/AST.icl +++ b/AST.icl @@ -65,6 +65,7 @@ instance print Type where print BoolType = print "Bool" print CharType = print "Char" print VoidType = print "Void" + print (FuncType t) = ["(-> ":print t] ++ [")"] print (t1 ->> t2) = ["(":print t1 ++ [" -> ":print t2]] ++ [")"] instance print String where @@ -109,6 +110,7 @@ instance print Expr where print (FunExpr _ id as fs) = printFunCall id as fs print (EmptyListExpr _) = ["[]"] print (TupleExpr _ (e1, e2)) = ["(":print e1] ++ [",":print e2] ++ [")"] + print (LambdaExpr _ args e) = ["\\":args] ++ ["->": print e] instance toString Expr where toString e = concat $ print e