X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=AST.icl;h=e1f5bc57d1822da7863ca44a31e1bc434a6f467e;hb=f081c2c5e248331eb6e2f090f4afe818fd8259eb;hp=68def615627181581cd38a5cba78c35972c5279f;hpb=920ef953a2db44169bd34805233fecbbe334d10e;p=cc1516.git diff --git a/AST.icl b/AST.icl index 68def61..e1f5bc5 100644 --- a/AST.icl +++ b/AST.icl @@ -51,6 +51,8 @@ printStatements [s:ss] i = (case s of instance print VarDecl where print (VarDecl _ t i e) = maybe ["var"] print t ++ [" ":i:"=":print e] ++ [";"] +instance toString VarDecl where + toString v = concat (print v) instance toString Type where toString t = concat $ print t @@ -73,6 +75,8 @@ instance print FieldSelector where print FieldTl = print "tl" print FieldSnd = print "snd" print FieldFst = print "fst" +instance toString FieldSelector where + toString fs = concat $ print fs instance print VarDef where print (VarDef i fs) = printersperse "." [i:printersperse "" fs] @@ -105,6 +109,8 @@ instance print Expr where print (FunExpr _ id as fs) = printFunCall id as ++ printSelectors fs print (EmptyListExpr _) = ["[]"] print (TupleExpr _ (e1, e2)) = ["(":print e1] ++ [",":print e2] ++ [")"] +instance toString Expr where + toString e = concat $ print e printSelectors :: [FieldSelector] -> [String] printSelectors x = case x of [] = [""]; _ = [".":printersperse "." x]