Re: [Haskell-cafe] Dynamic types through unsafeCoerce

13 Dec 2006


      On 12/13/06, Alfonso Acosta  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 
"You can't prove anything."
    -- Gödel's Incompetence Theorem