2 Apr
2017
2 Apr
'17
12:18 p.m.
Tom Sydney Kerckhove
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