[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