Tom Sydney Kerckhove <[email protected]> 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
signature.asc
Description: PGP signature
_______________________________________________ ghc-devs mailing list [email protected] http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
