- ppr sty AbsTop = ppStr "AbsTop"
- ppr sty AbsBot = ppStr "AbsBot"
- ppr sty (AbsProd prod) = ppCat [ppStr "AbsProd", ppr sty prod]
- ppr sty (AbsFun arg body env)
- = ppCat [ppStr "AbsFun{", ppr sty arg,
- ppStr "???", -- ppStr "}{env:", ppr sty (keysFM env `zip` eltsFM env),
- ppStr "}" ]
- ppr sty (AbsApproxFun demand val)
- = ppCat [ppStr "AbsApprox ", ppr sty demand, ppStr "", ppr sty val ]
+ ppr AbsTop = ptext SLIT("AbsTop")
+ ppr AbsBot = ptext SLIT("AbsBot")
+ ppr (AbsProd prod) = hsep [ptext SLIT("AbsProd"), ppr prod]
+ ppr (AbsFun bndr_ty body) = ptext SLIT("AbsFun")
+ ppr (AbsApproxFun demands val)
+ = ptext SLIT("AbsApprox") <+> brackets (interpp'SP demands) <+> ppr val