[GHC] #10186: exprIsBottom should include isEmptyTy
GHC
ghc-devs at haskell.org
Mon Mar 23 21:22:50 UTC 2015
#10186: exprIsBottom should include isEmptyTy
-------------------------------------+-------------------------------------
Reporter: nomeata | Owner: nomeata
Type: task | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 7.8.4
Keywords: | Operating System: Unknown/Multiple
Architecture: | Type of failure: None/Unknown
Unknown/Multiple | Blocked By:
Test Case: | Related Tickets:
Blocking: |
Differential Revisions: |
-------------------------------------+-------------------------------------
This is a spin-of of comment:3:ticket:10180: `exprIsBottom` (which
currently only takes strictnes signatures into account) should also look
at the type, via the new `isEmptyTy`.
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10186>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list