Re: [Haskell-cafe] Dynamic types through unsafeCoerce

On 12/10/06, Lemmih wrote:

How about using a StablePtr to a Dynamic?

I'm using them, but just forgot to put them in the example I wrote. myfunc :: (Tyeable a, Typeable b) => StablePtr (MyType a b) ... Either the way, it doesn't work due to the class context, which is not accepted byt the FFI.