Re: Change in demand analysis results between 7.10.2 and RC1 (not fixed in RC2 and HEAD)

Thanks, but that patch looks like for CPR. In our case demands are changed, so I don't see how that's related. Am I missing anything in that patch? 2016-02-27 3:49 GMT-05:00 Joachim Breitner : > Hi, > Am Freitag, den 26.02.2016, 22:12 -0500 schrieb Ömer Sinan Ağacan: >>

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 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 _