Re: [GHC] #10186: exprIsBottom should include isEmptyTy

#10186: exprIsBottom should include isEmptyTy -------------------------------------+------------------------------------- Reporter: nomeata | Owner: nomeata Type: task | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.4 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by Joachim Breitner ): In [changeset:"7062ebe0ce92c191d87e993bd2497275976b9452/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="7062ebe0ce92c191d87e993bd2497275976b9452" exprIsBottom: Make use of isEmptyTy (#10186) Any expression with of empty type is necessary bottom, so we can use that here. No effects known, but it is the right thing to do and validate, so lets do it. Differential Revision: https://phabricator.haskell.org/D754 }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10186#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler