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