I was wondering how given a Type I can get a pretty printed type out of it.
I'm currently using showSDocUnqual . pprType . snd . tidyOpenType emptyTidyEnv But this has the problem that predicates don't get printed, anyone know how GHCi does this? Thanks, Phyx
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe