On Tue, Feb 24, 2009 at 7:42 PM, jutaro <j...@arcor.de> wrote:
> instance Eq Object where
>    (ObjC a) ≡ (ObjC b) = if typeOf a ≠ typeOf b
>                                then False
>                                else (Just a) ≡ cast b -- can someone explain 
> to me why this works?

In fact, can't you just say

instance Eq Object where
  ObjC a == ObjC b = Just a == cast b

?

-- 
Felipe.
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to