[Bug 5651] [FS] Static typing rules for fn:boolean.

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


oliver@cbcl.co.uk changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[FS] Static typing rules for|[FS] Static typing rules for
                   |fn:boolean should apply to  |fn:boolean.
                   |fn:not.                     |




------- Comment #1 from oliver@cbcl.co.uk  2008-04-22 13:13 -------
The definition for fn:boolean (in F&O 15.1.1) says:
If $arg is a sequence whose first item is a node, fn:boolean returns true.

However the static typing rules reject any sequence of more than one items that
is not a sequence of nodes.

And so fn:boolean applied to the sequence type (xs:node(), xs:integer) fails to
type check despite the fact that every value of this type gives the result
true().

Should the definition of fn:boolean be changed to read "If $arg is a sequence
of one or more nodes, fn:boolean returns true"?