W3C home > Mailing lists > Public > public-qt-comments@w3.org > April 2008

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

From: <bugzilla@farnsworth.w3.org>
Date: Tue, 22 Apr 2008 13:13:30 +0000
CC:
To: public-qt-comments@w3.org
Message-Id: <E1JoIJO-0005FI-Fk@farnsworth.w3.org>

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

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:22 UTC