The following file is accepted by hugs (Nov.02 version on linux) without complaint. Attempting to evaluate z causes a Segmentation fault (not unreasonably, perhaps!). As far as I can tell, completeness is never being checked statically. Sometimes it is successfully checked dynamically and causes an "Undefined member" error.
----------- data Foo a = Foo a instance Eq (Foo a) where z = Foo 1 == Foo 2 --------------- _______________________________________________ Hugs-Bugs mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/hugs-bugs
