idris-lang/Idris-dev — pull request #808 by ziman (2014-01-27 18:15:27+00:00)
Title: Improve parser error messages by removing some backtracking

Fixes #800. Includes a test (`test038` is already taken by another #806) and a little cleanup in the code.

The tests pass, the stdlib builds.