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

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