Sign in
eclipse
/
sourceediting
/
webtools.sourceediting.xpath.tests
/
e6e04fe7ccf3835c631b1d835c73316623ba519f
/
.
/
tests
/
org.w3c.xqts.testsuite
/
Queries
/
XQuery
/
Expressions
/
exprSeqTypes
/
SeqExprCastToDerivedParents
/
cast-to-parent-11.xq
blob: c56c944ed84f6a74f57009b144c694fc84df5197 [
file
] [
log
] [
blame
]
(: name : cast-to-parent-11 :)
(: description : Casting from an unsignedInt to a float.:)
(: insert-start :)
declare
variable
$input-context1
external
;
(: insert-end :)
let
$value
:= xs:unsignedInt(10.0)
return
$value
cast
as
xs:float