- From: <bugzilla@wiggum.w3.org>
- Date: Tue, 06 Mar 2007 08:21:48 +0000
- To: public-qt-comments@w3.org
- CC:
http://www.w3.org/Bugs/Public/show_bug.cgi?id=3818
------- Comment #15 from jmdyck@ibiblio.org 2007-03-06 08:21 -------
(In reply to comment #12)
> I think a way to fix this issue
> which is consistent with the rest of the spect is to introduce a special
> function fs:node-sequence() which checks whether the input is a sequence of
> nodes, and if yes propagates the corresponding input type as output. Such a
> function could go after Section 7.1.4 and have the following typing rules:
>
> statEnv |- Type <: node*
> ---------------------------------------------------------
> statEnv |- (FS-URI,"node-sequence") ( Type ) : Type
In the premise, I think "node" should be
[[ node() ]]_sequencetype
as in 7.1.4.
Received on Tuesday, 6 March 2007 08:21:59 UTC