21 Aug
2018
21 Aug
'18
8:18 p.m.
I see the definition, but I don't understand it, so I don't know how to adapt it to the less-polymorphic version I need. On Tue, Aug 21, 2018, 4:14 PM Ben Gamari <ben@smart-cactus.org> wrote:
David Feuer <david.feuer@gmail.com> writes:
But how do I have to build something like "openAlphaTyVar" for TYPE 'UnliftedRep in the primitive space? I don't understand the toolkit.
I'm not sure I understand the question. openAlphaTyVar is defined in TysPrim. Perhaps looking there will clear up the confusion.
Cheers,
- Ben