On 2013-11-11 17:23, Timon Gehr wrote:

"error" should also be able to specify where the error occurred in the
input, so that it is displayed at the call site.

That's a good point.

--
/Jacob Carlborg

Reply via email to