[Bug 3686] fn-matches2args-1 fails static typechecking.

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





------- Comment #5 from mrys@microsoft.com  2006-09-08 17:23 -------
I was arguing in favor of relaxing the argument types to make them composable.
But examples as the one given is of a lesser concern since xs:string("This is a
characte") is bad coding style.

Our static typing implementation actually relaxes the argument types of these
built-in functions to allow (). We should either do that change for at least
static implementations - or if no consensus can be reached, we should allow
static typing implementation to error on the test.

Received on Friday, 8 September 2006 17:23:55 UTC