tests/org.w3c.xqts.testsuite/Queries/XQuery/Expressions/exprSeqTypes/SeqExprCastToDerivedParents/cast-to-parent-9.xq - sourceediting/webtools.sourceediting.xpath.tests - Git at Google

 (: name : cast-to-parent-9 :)
 (: description : Casting from a positiveInteger to a float.:)

 (: insert-start :)
 declare variable $input-context1 external;
 (: insert-end :)

 let $value := xs:positiveInteger(10.0)
 return $value cast as xs:float
	(: name : cast-to-parent-9 :)
	(: description : Casting from a positiveInteger to a float.:)

	(: insert-start :)
	declare variable $input-context1 external;
	(: insert-end :)

	let $value := xs:positiveInteger(10.0)
	return $value cast as xs:float