FOTS: validate returns [zerr:ZXQP0003]: internal error

[Sorin Marian Nasoi]

xquery version '3.0';

declare namespace op = 'http://www.zorba-xquery.com/options/features';
declare namespace f = 'http://www.zorba-xquery.com/features';
declare option op:enable 'f:hof';

xs:integer(validate type xs:decimal {<a>93.7</a>})

[Cezar Andrei (cezar-andrei)]

The following expression is wrong: validate type xs:decimal {<a>93.7</a>}, because 'a' element can't have the type xs:decimal, only it's content can be xs;decimal.

To make validate do the validation of the content of the element <a> be decimal use the following code:

xquery version '3.0';

declare namespace op = 'http://www.zorba-xquery.com/options/features';
declare namespace f = 'http://www.zorba-xquery.com/features';
declare option op:enable 'f:hof';

xs:integer(validate lax {<a xsi:type="xs:decimal" xmlns:xs="http://www.w3.org/2001/XMLSchema" >93.7</a>})

The fact that the original script raises an internal error is still a bug.