#10180: Lint check: Empty alternatives imply bottoming scrutinee -------------------------------------+------------------------------------- Reporter: nomeata | Owner: nomeata Type: task | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.11 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by nomeata): * status: infoneeded => new Comment: Ok, with the better `isEmptyTy`, it goes through, see Phab:D753. I’m not sure where best to put `isEmptyTy`. My first guess was `Types.hs`, but that would require extending `DataCon.hs-boot`. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10180#comment:11 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler