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

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: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20170402/53f112c6/attachment.sig>