idris-lang/Idris-dev — pull request #794 by david-christiansen (2014-01-23 15:32:54+00:00)
Title: Error reflection for specific function arguments

Allow error reflection to be attached to a specific function argument. See test038 for an example.

This PR also fixes issues related to error handlers in IBC files.