idris-0.11.1: test/error006/WithPatsNoWith.idr

module WithPatsNoWith

foo : Int -> Bool
foo 1 | 2 | 3 = True
foo _ = False