Should StablePtr# have its own kind?

David Feuer david.feuer at gmail.com
Sun Aug 19 22:41:07 UTC 2018


Currently,

  StablePtr# :: Type -> TYPE 'AddrRep

The fact that a stable pointer table index has the same size as a
pointer seems somewhat coincidental. Would it make sense to add a
`StablePtrRep` constructor to `RuntimeRep` and use that? That should
allow StablePtr# to change its representation with less trouble, if
that ever proves desirable.


More information about the ghc-devs mailing list