[Bug 4939] [FO] Specify both "fn:f(a as t?) as r?" and "fn:f(a as t) as r"

From: <bugzilla@wiggum.w3.org>
Date: Tue, 11 Sep 2007 14:37:09 +0000
To: public-qt-comments@w3.org
CC:
Message-Id: <E1IV6rV-0008CL-1h@wiggum.w3.org>

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





------- Comment #2 from frans.englich@telia.com  2007-09-11 14:37 -------
#1 sounds sensible to me.

I believe such inferences can be implemented as static typing extensions, see
5.2.3.1 Static Typing Extensions in the XQuery spec.

Received on Tuesday, 11 September 2007 14:37:27 UTC