[GHC] #10186: exprIsBottom should include isEmptyTy
GHC
ghc-devs at haskell.org
Tue Mar 24 08:26:15 UTC 2015
#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 <mail@…>):
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
More information about the ghc-tickets
mailing list