Solves #1853

[nicodelpiano]

The problem was the condition cond we were using: I compared it with an older version of the redundancy checker that worked well and changed that piece of code.

Now it's working fine:

module Main where

data Options = Foo | Bar | Baz

brokenPatternMatch :: Options -> Boolean
brokenPatternMatch Foo = true
brokenPatternMatch Foo = true
brokenPatternMatch Bar = false
brokenPatternMatch Baz = false

Throws:

  in module Main
  at /home/delpi/Desktop/Development/purescript/psctests/test.purs line 5, column 1 - line 6, column 1

    A case expression contains unreachable cases:

    Foo

  in value declaration brokenPatternMatch

[paf31]

Thanks for looking into this!

[nicodelpiano]

No problem Phil 👍, if there's another issue just let me know!

[garyb]

Nice work 👍