[Haskell-cafe] Dynamic types through unsafeCoerce

Lemmih lemmih at gmail.com
Sat Dec 9 18:19:44 EST 2006

On 12/9/06, Alfonso Acosta <alfonso.acosta at gmail.com> wrote:
> On 12/9/06, Udo Stenzel <u.stenzel at web.de> wrote:
> > You wouldn't need a Typeable context anyway; what's biting you is that
> > Dynamic is not one of the primitive types that can pass across the FFI.
> > There are good reasons for that and unsafeCoerce certainly cannot
> > invalidate them.
> >
> > You want a StablePtr.
> I'm using StablePtrs already, what made you assume I wasn't using them?

How about using a StablePtr to a Dynamic?


More information about the Haskell-Cafe mailing list