23 Aug
2018
23 Aug
'18
10:45 p.m.
David Feuer
The problem is that this also accepts things that aren't pointers at all! We could fix that *for primops* by changing RuntimeRep to something like
data RuntimeRep = PtrRep Liftedness | ...
But that would only work for primops (at least for now) so it may not be worth the breakage.
The runtime rep design was precisely this but IIRC this was changed since the additional polymorphism ended up costing quite a bit in type-checking effort. Cheers, - Ben