s [mailto:ghc-devs-boun...@haskell.org] On Behalf Of Ömer
| > | Sinan Agacan
| > | Sent: 29 February 2016 03:16
| > | To: ghc-devs <ghc-devs@haskell.org>
| > | Subject: CoreLint check for case with no alts
| > |
| > | Hi all,
| > |
| > | CoreLint has a check tha
; | Sent: 29 February 2016 03:16
> | To: ghc-devs <ghc-devs@haskell.org>
> | Subject: CoreLint check for case with no alts
> |
> | Hi all,
> |
> | CoreLint has a check that, when seeing a case expression with empty
> | list of alternatives, checks whether the s
that this might be after some pass and before a simplifier run.
Simon
| -Original Message-
| From: ghc-devs [mailto:ghc-devs-boun...@haskell.org] On Behalf Of Ömer
| Sinan Agacan
| Sent: 29 February 2016 03:16
| To: ghc-devs <ghc-devs@haskell.org>
| Subject: CoreLint check fo
Hi all,
CoreLint has a check that, when seeing a case expression with empty list of
alternatives, checks whether the scrutinee is bottom. This "bottom-ness" check
is, however, very simple and returning many false negatives. For example, when
it sees a case expression, all it does is:
go _