from Text import class Text(concat), instance Text String
from Data.Maybe import :: Maybe, maybe
+instance toString Pos where
+ toString {line,col} = concat [toString line, ":", toString col, " "]
+
instance toString AST where
toString (AST v f) = concat (
["\n":printersperse "\n" v] ++
instance print VarDecl where
print (VarDecl _ t i e) = print t ++ [" ":i:"=":print e] ++ [";"]
+instance toString Type where
+ toString t = concat $ print t
+
instance print Type where
print (TupleType (t1, t2)) = ["(":print t1] ++ [",":print t2] ++ [")"]
print (ListType t) = ["[":print t] ++ ["]"]