Re: [Haskell-cafe] Dynamic types through unsafeCoerce

On 12/9/06, Alfonso Acosta wrote:

On 12/9/06, Udo Stenzel 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? -- Cheers, Lemmih