`StablePtr` in `ST`
david.feuer at gmail.com
Wed Aug 21 01:08:52 UTC 2019
You also need to avoid inspecting the StablePtr itself, which is just a
number, to maintain purity. The whole thing is a bit weird. Why do you want
On Wed, Aug 21, 2019, 7:39 AM David Feuer <david.feuer at gmail.com> wrote:
> So something like
> newtype StablePtr a = StablePtr (StablePtrST RealWorld a)?
> I suppose that could work with some discipline. You have to assume that
> foreign code doesn't pick its address out of a hat and so something silly,
> but I guess you pretty much have to assume that anyway.
> On Wed, Aug 21, 2019, 5:00 AM Matthew Farkas-Dyck <strake888 at gmail.com>
>> I have been doing some work where i want `StablePtr`, but also to not
>> be confined to `IO`. I saw the following comment in
>> Question: Why @RealWorld@ - won't any instance of @_ST@ do the job? [ADR]
>> It has been there for 20 years. What is the answer? If it is safe i'll
>> send the patch generalizing these operations.
>> Glasgow-haskell-users mailing list
>> Glasgow-haskell-users at haskell.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the ghc-devs