Pretty printing type annotations
cmb21 at kent.ac.uk
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