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

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





------- Comment #4 from nick@cbcl.co.uk  2006-10-16 10:06 -------
(In reply to comment #3)
> But decimal is automatically promoted to float in this context. Surely that
> applies to static typing too?
> 
Having compared the XQuery and Formal Semantics spec, I think they describe
different behavior.

The FS 5.15 states: "The function body's type must be a subtype of the expected
return type. If static typing fails, a static type error is raised." I can't
find any reference to promotition for the static typing of function
declarations in the FS.

If you agree I'll re-report this as a bug in the FS.