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.