[GHC] #8017: Empty instance

GHC ghc-devs at haskell.org
Thu Jun 27 22:01:54 CEST 2013


#8017: Empty instance
-----------------------+----------------------------------------------------
    Reporter:  wvv     |        Owner:            
        Type:  bug     |       Status:  closed    
    Priority:  normal  |    Component:  GHCi      
     Version:  7.6.3   |   Resolution:  duplicate 
    Keywords:          |           Os:  Windows   
Architecture:  x86     |      Failure:  GHCi crash
   Blockedby:          |     Blocking:            
     Related:          |  
-----------------------+----------------------------------------------------
Changes (by monoidal):

  * status:  new => closed
  * resolution:  => duplicate


Comment:

 GHC is technically correct: `T1 == T1` is an infinite loop, since by
 default `(==)` is implemented via `(/=)` and `(/=)` via `(==)`, so you can
 write only one of them. Bug #7633 is about detecting this situation.

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/8017#comment:1>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler



More information about the ghc-tickets mailing list