edwinb/Idris-dev — pull request #55 by raichoo (2012-10-09 20:15:41+00:00)
Title: Parser goes into infinite loop

Parser goes into infinite loop when encountering a wrong with clause.

Testcase:

even : Nat -> Bool
even O = True
even (S O) = False
even (S (S n)) = even n

doubleOrZero : Nat -> Nat
doubleOrZero n with even n
| True = n * 2
| Flase = 0