edwinb/Idris-dev — pull request #222 by michaelt (2013-03-11 23:06:59+00:00)
Title: Missing case in Idris.Parser

This module:

module main

using (A : Type)
data W : Type where
Ok : (r : A -> A -> Type) -> W

gave the error

src/Idris/Parser.hs:(215,23)-(223,86): Non-exhaustive patterns in case

which seemed to be repaired by this amendment for the [] case.