</pre>
'''Result:''' <code>Typing error: '+' operator: number expected, xs:string found.</code>
Within the scope of the catch clause, a number of variables are implicitly declared, giving information about the error that occurred:
* {{Code|$err:code}} error code
* {{Code|$err:description}}: error message
* {{Code|$err:value}}: value associated with the error (optional)
* {{Code|$err:module}}: URI of the module where the error occurred
* {{Code|$err:line-number}}: line number where the error occurred
* {{Code|$err:column-number}}: column number where the error occurred
* {{Code|$err:additional}}: error stack trace
==Switch==