[GHC] #4040: Eq instance for Data.Data.DataType
GHC
cvs-ghc at haskell.org
Tue May 4 06:05:43 EDT 2010
#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
More information about the Glasgow-haskell-bugs
mailing list