[GHC] #10577: Use empty cases where appropriate when deriving instances for empty types

GHC ghc-devs at haskell.org
Fri Sep 29 08:01:01 UTC 2017


#10577: Use empty cases where appropriate when deriving instances for empty types
-------------------------------------+-------------------------------------
        Reporter:  rwbarton          |                Owner:  (none)
            Type:  bug               |               Status:  patch
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  7.11
      Resolution:                    |             Keywords:  deriving
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:  #13117, #7401     |  Differential Rev(s):  Phab:D4047
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by mpickering):

 I still think there should be a "few examples where folks tied knots with
 fixed points to get inhabitants of Void" seeing as that is the primary
 motivation for this implementation. They are good for tests and notes even
 though I accept I will find them dubious.

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


More information about the ghc-tickets mailing list