idris-lang/Idris-dev — pull request #1053 by ahmadsalim (2014-04-11 11:26:21+00:00)
Title: Improvement/parser

Rewrite the parsing of function application and other expressions for less lookahead/better errors.
This improves/fixes #1048.