RE: ORA-FO-RETURN-TYPECHECK

Yes there is such a guarantee. But this information does not belong into
the FO spec but the general XQuery and Formal Semantics specification
(where it should already be mentioned).

Best regards
Michael

> -----Original Message-----
> From: public-qt-comments-request@w3.org [mailto:public-qt-comments-
> request@w3.org] On Behalf Of Stephen Buxton
> Sent: Monday, June 30, 2003 18:35 PM
> To: public-qt-comments@w3.org
> Subject: ORA-FO-RETURN-TYPECHECK
> 
> 
> Are atomicType results returned by a user-defined function typechecked
?
> 
> e.g. myHeight has a max value of 100.
>  If I define a function that returns myHeight, is there a guarantee
that
> the value returned by the function is not greater than 100 ?
> 
> 
>