W3C home > Mailing lists > Public > public-qt-comments@w3.org > January 2007

[Bug 3830] Static typing of function declarations (K-Function-Prolog)

From: <bugzilla@wiggum.w3.org>
Date: Mon, 08 Jan 2007 14:57:25 +0000
CC:
To: public-qt-comments@w3.org
Message-Id: <E1H3vwD-00009w-O3@wiggum.w3.org>

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





------- Comment #10 from tim@cbcl.co.uk  2007-01-08 14:57 -------
K-FunctionProlog-25 and K-FunctionProlog-65 also have similar problems.

The comment in K-FunctionProlog-65 is also misleading:

(:*******************************************************:)
(: Test: K-FunctionProlog-65                             :)
(: Written by: Frans Englich                             :)
(: Date: 2006-10-05T18:29:39+02:00                       :)
(: Purpose: Since the user function has no declaredreturn type, it is inferred
f
rom the body, and therefore its callsite doesn't cause a type error(XPTY0004).
:
)
(:*******************************************************:)

The formal semantics specification says:

"If the return type of the function is not provided, it is given the item()*
sequence type."
Received on Monday, 8 January 2007 14:57:38 UTC

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