Translation of GHC typechecker output to haskell-src-exts's 'Type'

Tom Sydney Kerckhove syd.kerckhove at
Sun Apr 2 13:01:43 UTC 2017

On 02-04-17 14:40:05, Tom Sydney Kerckhove wrote:
> Is there a way to access the types before this translation happens?
> It's okay if I have to assume that type-checking succeeds...

I have found a way to do what I want, even after this translation.
It relies on the fact that type class constraints always occur on the
left side of the result of splitFunTy.

Thank you for your help!

Tom Sydney Kerckhove
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: not available
URL: <>

More information about the ghc-devs mailing list