[Bug 3818] Static typing of $input-context1/works[1]/employee[1]/empnum[1]

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.