RE: ORA-FO-RETURN-TYPECHECK from Michael Rys on 2003-07-01 (public-qt-comments@w3.org from July 2003)

From: Michael Rys <mrys@microsoft.com>
Date: Mon, 30 Jun 2003 23:32:51 -0700
To: "Stephen Buxton" <stephen.buxton@oracle.com>, <public-qt-comments@w3.org>
Message-ID: <5C39F806F9939046B4B1AFE652500A3A05C2D742@RED-MSG-10.redmond.corp.microsoft.com>

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 ?
> 
> 
>

Received on Tuesday, 1 July 2003 02:33:01 UTC