[Bug 3830] Static typing of function declarations (K-Function-Prolog) from bugzilla@wiggum.w3.org on 2006-10-13 (public-qt-comments@w3.org from October 2006)

From: <bugzilla@wiggum.w3.org>
Date: Fri, 13 Oct 2006 17:28:34 +0000
To: public-qt-comments@w3.org
CC:
Message-Id: <E1GYQpm-0002Ht-0d@wiggum.w3.org>

http://www.w3.org/Bugs/Public/show_bug.cgi?id=3830





------- Comment #1 from nick@cbcl.co.uk  2006-10-13 17:28 -------
The following function from K2-FunctionProlog-7 fails to static type check

declare function local:myFunction() as xs:float
{
        4.0
};


as 4.0 is xs:decimal, but the return type is of xs:float

Received on Friday, 13 October 2006 17:28:40 UTC