On Thursday, 1 November 2018 at 12:50:19 UTC, Jonathan M Davis wrote: > Thanks for your detailed answer. I didn't know the difference between errors and exceptions, but now I do.