[Haskell-cafe] Dynamic types through unsafeCoerce

Taral taralx at gmail.com
Wed Dec 13 10:31:54 EST 2006

On 12/13/06, Alfonso Acosta <alfonso.acosta at gmail.com> wrote:
>               deactivate             :: Maybe(hd -> IO ()),

According to the spec, NULL here means no-op. So instead of using
Maybe, just set deactivate = \_ -> return () if you see NULL.

Taral <taralx at gmail.com>
"You can't prove anything."
    -- Gödel's Incompetence Theorem

More information about the Haskell-Cafe mailing list