On 30/03/14 21:16, Walter Bright wrote: > I've pointed out how to do this without ID's several times. Are you willing to make the error messages public API? That would go through the same stages of deprecation when they need to change? -- /Jacob Carlborg