X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=appx%2Flst%2Fgeneric_print.icl;h=a802d99bb2a110e0fa09250174ee7a59a4bed969;hb=5702796e5885e85b9e8dcc0d5160dccb9386b05f;hp=ef13640fb301205fcde369893604d3cd18bccf10;hpb=3fe94feeee0efd1922263aca9d578031e2283f61;p=phd-thesis.git

diff --git a/appx/lst/generic_print.icl b/appx/lst/generic_print.icl
index ef13640..a802d99 100644
--- a/appx/lst/generic_print.icl
+++ b/appx/lst/generic_print.icl
@@ -13,11 +13,13 @@ gPrint{|EITHER|} fl _  (LEFT x)   acc = fl x acc
 gPrint{|EITHER|} _  fr (RIGHT x)  acc = fr x acc
 
 gPrint{|OBJECT|}        f     (OBJECT x) acc = f x acc
-gPrint{|CONS of gcd|}   f     (CONS x)   acc = ["(", gcd.gcd_name, " ":f x [")":acc]]
-gPrint{|RECORD of grd|} f     (RECORD x) acc = ["{", grd.grd_name, " | ":f x ["}":acc]]
-gPrint{|FIELD of gfd|}  f     (FIELD x)  acc = [pre, gfd.gfd_name, "=":f x acc]
-where
-	pre = if (gfd.gfd_index == 0) "" ", "
+gPrint{|CONS of gcd|}   f     (CONS x)   acc
+	= ["(", gcd.gcd_name, " ":f x [")":acc]]
+gPrint{|RECORD of grd|} f     (RECORD x) acc
+	= ["{", grd.grd_name, " | ":f x ["}":acc]]
+gPrint{|FIELD of gfd|}  f     (FIELD x)  acc
+	= [pre, gfd.gfd_name, "=":f x acc]
+where pre = if (gfd.gfd_index == 0) "" ", "
 
 :: T = {f1 :: Int, f2 :: (Real, [?Int])}
 derive gPrint (,), [], ?, T