- ppr sty AbsTop = ppStr "AbsTop"
- ppr sty AbsBot = ppStr "AbsBot"
- ppr sty (AbsProd prod) = ppCat [ppStr "AbsProd", ppr sty prod]
- ppr sty (AbsFun args body env)
- = ppCat [ppStr "AbsFun{", ppr sty args,
- ppStr "???", -- ppStr "}{env:", ppr sty (keysFM env `zip` eltsFM env),
- ppStr "}" ]
- ppr sty (AbsApproxFun demands)
- = ppCat [ppStr "AbsApprox{", ppr sty demands, ppStr "}" ]
+ ppr sty AbsTop = ppPStr SLIT("AbsTop")
+ ppr sty AbsBot = ppPStr SLIT("AbsBot")
+ ppr sty (AbsProd prod) = ppCat [ppPStr SLIT("AbsProd"), ppr sty prod]
+ ppr sty (AbsFun arg body env)
+ = ppCat [ppPStr SLIT("AbsFun{"), ppr sty arg,
+ ppPStr SLIT("???"), -- ppStr "}{env:", ppr sty (keysFM env `zip` eltsFM env),
+ ppChar '}' ]
+ ppr sty (AbsApproxFun demand val)
+ = ppCat [ppPStr SLIT("AbsApprox "), ppr sty demand, ppr sty val ]