#4040: Eq instance for Data.Data.DataType
---------------------------------+------------------------------------------
Reporter: Eelis- | Owner:
Type: feature request | Status: new
Priority: normal | Component: libraries/base
Version: 6.12.2 | Keywords: syb
Os: Unknown/Multiple | Testcase:
Architecture: Unknown/Multiple | Failure: None/Unknown
---------------------------------+------------------------------------------
Comment(by Eelis-):
From ticket #3866 it looks like the semantics of the Eq Constr instance
you refer to are considered unfortunate and are really only preserved for
backward compatibility. For DataType we have no such constraint, and I
think that its Eq instance should really just do what one would expect,
meaning that ''all'' the fields (rather than some subset thereof) should
count.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4040#comment:2>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
