idris-lang/Idris-dev — pull request #536 by ahmadsalim (2013-10-14 18:18:24+00:00)
Title: Improves upon/fixes idris-lang/Idris-dev#530

I have tried to reorder the way expression are parsed in order to improve error messages on simple expressions.

NOTE: There maybe need for further refactoring to improve error messages for pi constraints later.