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
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