idris-lang/Idris-dev — pull request #1424 by ahmadsalim (2014-07-24 11:31:57+00:00)
Title: Fixes backtracking in parser of REPL command

The previous REPL command parser used alot of backtracking and had used some unfortunate combinators, that made it hard to understand what errors there were when a failure occured.
It also accepted commands like `:cs` which was parsed as `:compile s` and not `:casesplit` due to lack of the correct arguments which made such definition pass.