[GHC] #10180: Lint check: Empty alternatives imply bottoming scrutinee
GHC
ghc-devs at haskell.org
Fri Apr 17 16:57:46 UTC 2015
#10180: Lint check: Empty alternatives imply bottoming scrutinee
-------------------------------------+-------------------------------------
Reporter: nomeata | Owner: nomeata
Type: task | Status: closed
Priority: normal | Milestone:
Component: Compiler | Version: 7.11
Resolution: fixed | Keywords:
Operating System: Unknown/Multiple | Architecture:
Type of failure: None/Unknown | Unknown/Multiple
Blocked By: | Test Case:
Related Tickets: | Blocking:
| Differential Revisions:
-------------------------------------+-------------------------------------
Comment (by nomeata):
A small change in the simplifier settings showed a False Positive of the
new lint check: https://phabricator.haskell.org/D851#23033
Given that the check is known to be not complete, I suggest to turn it
into a lint warning.
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10180#comment:22>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list