Pretty printing type annotations

C.M.Brown cmb21 at
Thu May 3 08:50:01 EDT 2007


I was wondering if there was an easy way to pretty print the result of the
type checker from GHC. I basically want the format that GHCi spits out,
rather than a type annotation with qualified types. I know I can knock up
a parser that removes the qualifiers, but I was wondering if there was a
simple function that I could call that would just printy print it for me
(and saving me the work).

The type checker gives me something of the form:

(GHC.Num.Num t1, GHC.Num.Num t) => t1 -> t -> t1

But GHCi gives me the same without any qualifying.

Hope someone can help.

More information about the Glasgow-haskell-users mailing list