@@ -128,10 +128,10 @@ showPrettyDoc : (doc : PrettyDoc) -> String
128showPrettyDoc doc = showPrettyDocS doc ""
128showPrettyDoc doc = showPrettyDocS doc ""
130 showPrettyDocS : (doc : PrettyDoc) -> (acc : String) -> String
130 showPrettyDocS : (doc : PrettyDoc) -> (acc : String) -> String
131− showPrettyDocS Empty = id
131+ showPrettyDocS Empty acc = acc
132− showPrettyDocS (Chara c rest) = strCons c . showPrettyDocS rest
132+ showPrettyDocS (Chara c rest) acc = strCons c (showPrettyDocS rest acc)
133− showPrettyDocS (Text len str rest) = (str ++) . showPrettyDocS rest
133+ showPrettyDocS (Text len str rest) acc = str ++ (showPrettyDocS rest acc)
134− showPrettyDocS (Line lvl rest) = (('\n' `strCons` indentation lvl) ++) . showPrettyDocS rest
134+ showPrettyDocS (Line lvl rest) acc = (strCons '\n' (indentation lvl)) ++ showPrettyDocS rest acc
137fits : (w : Int) -> (x : PrettyDoc) -> Bool
137fits : (w : Int) -> (x : PrettyDoc) -> Bool