[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