- = ppr_binding (binder,expr) $$ text ""
-
-pprTopBind (Rec binds)
- = vcat [ptext SLIT("Rec {"),
- vcat (map ppr_binding binds),
- ptext SLIT("end Rec }"),
- text ""]
+ = ppr_binding (binder,expr) $$ blankLine
+
+pprTopBind (Rec [])
+ = ptext (sLit "Rec { }")
+pprTopBind (Rec (b:bs))
+ = vcat [ptext (sLit "Rec {"),
+ ppr_binding b,
+ vcat [blankLine $$ ppr_binding b | b <- bs],
+ ptext (sLit "end Rec }"),
+ blankLine]