Unlifted primop types

Ben Gamari ben at smart-cactus.org
Thu Aug 23 22:45:05 UTC 2018


David Feuer <david.feuer at gmail.com> writes:

> 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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 487 bytes
Desc: not available
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20180823/eaf2611b/attachment.sig>


More information about the ghc-devs mailing list