edwinb/Idris-dev — pull request #497 by ahmadsalim (2013-09-24 19:43:52+00:00)
Title: Refactored new parser to use less lookahead

Refactored new parser grammar to use considerably less try-statements/lookahead for better performance and error reporting.