
24 Feb
2009
24 Feb
'09
7:01 p.m.
On Tue, Feb 24, 2009 at 7:42 PM, jutaro
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.