Translation of GHC typechecker output to haskell-src-exts's 'Type'
ben at smart-cactus.org
Sun Apr 2 16:18:52 UTC 2017
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.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 487 bytes
Desc: not available
More information about the ghc-devs