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

[Ben Gamari]

Tom Sydney Kerckhove <syd.kerckhove at gmail.com> writes:

> 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.
>
Yep, that is what I would do as well.

> Thank you for your help!
>
No worries and good luck.

Cheers,

- Ben

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 487 bytes
Desc: not available
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20170402/8680f786/attachment.sig>