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

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





------- Comment #2 from mike@saxonica.com  2008-04-22 13:25 -------
>Should the definition of fn:boolean be changed to read "If $arg is a sequence
of one or more nodes, fn:boolean returns true"?

No, absolutely not. This would mean that a dynamic implementatation would have
to read the whole sequence, perhaps containing a million nodes, before it can
establish that there are no atomic values in the sequence and it can therefore
return true.

Received on Tuesday, 22 April 2008 13:25:30 UTC