#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