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
signature.asc
Description: PGP signature
_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs