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.