[Haskell-cafe] ghc api printing of types

[Daniel Gorín]

I believe the way is done in hint is something like this (untested):

showType t =
   do -- Unqualify necessary types
      -- (i.e., do not expose internals)
       unqual <- GHC.getPrintUnqual
      return $ GHC.showSDocForUser unqual (GHC.pprTypeForUser False   
t) -- False means 'drop explicit foralls'

Hope that helps

Daniel




On Jul 4, 2010, at 8:36 AM, Phyx wrote:

> 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 at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe