W3C home > Mailing lists > Public > public-qt-comments@w3.org > February 2004

ORA-FO-167-E: "numeric" as a return type is not properly specified

From: Stephen Buxton <Stephen.Buxton@oracle.com>
Date: 17 Feb 04 10:20:33
Message-Id: <200402171820.i1HIKXb25033@rgmgw4.us.oracle.com>
To: public-qt-comments@w3.org

SECTION 1.2: Function signatures and descriptions

The description of the pseudotype "numeric" gives an example 
showing how to expand into four actual types.  This example is
followed by the sentence "Similarly, for return types".
This sentence is not at all clear.  You cannot mean

fn:numeric-function(...) as numeric

is equivalent to four signatures

fn:numeric-function(...) as xs:integer, etc., because that would
be ambiguous when it comes to determining the static type of the
function.  What I suspect you mean is

fn:numeric-function($arg as numeric) as numeric

expands into four signatures, each of which has the same type 
for the $arg and the return type.  If this is what you mean, please
say so.  Note that you must also deal with the case where there
is more than one argument.  

- Steve B.
Received on Tuesday, 17 February 2004 13:20:37 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:45:18 UTC