- From: <bugzilla@farnsworth.w3.org>
- Date: Tue, 22 Apr 2008 13:13:30 +0000
- To: public-qt-comments@w3.org
- CC:
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"?
Received on Tuesday, 22 April 2008 13:14:00 UTC