W3C home > Mailing lists > Public > public-qt-comments@w3.org > September 2006

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

From: <bugzilla@wiggum.w3.org>
Date: Fri, 08 Sep 2006 17:23:48 +0000
CC:
To: public-qt-comments@w3.org
Message-Id: <E1GLk4y-0001qE-I9@wiggum.w3.org>

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

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:14 UTC