1747 2005-07-19 05:41:08 +0000 [FS] editorial: 7.1.6 The fs:distinct-doc-order-or-atomic-sequence function 2008-08-18 05:46:45 +0000 1 1 1 Unclassified XPath / XQuery / XSLT Formal Semantics 1.0 Last Call drafts All All CLOSED FIXED P2 minor --- 1 jmdyck simeon public-qt-comments oldest_to_newest 4859 0 jmdyck 2005-07-19 05:41:08 +0000 7.1.6 The fs:distinct-doc-order-or-atomic-sequence function "$item as node *" s/node/item/, surely. STA / rule 1 / premise 2 Type <: node* node* is not a valid Formal Type. Change to [[ node()* ]]_sequencetype ? 4932 1 jmdyck 2005-07-19 21:38:55 +0000 (In reply to comment #0) > > STA / rule 1 / premise 2 > Type <: node* > node* is not a valid Formal Type. > Change to [[ node()* ]]_sequencetype ? Or (italicized) NodeType*, as in 7.2.4. 8953 2 simeon 2006-03-29 22:06:45 +0000 Fixed as suggested, using the NodeType* option. 12320 3 jmdyck 2006-10-05 19:28:24 +0000 On second thought, NodeType* probably isn't what you want. E.g., it can't derive a type that matches a sequence of different kinds of nodes. So I fall back to my first suggestion, [[ node()* ]]_sequencetype (or you could use its expansion). 13602 4 simeon 2007-01-16 18:00:01 +0000 Alright, back to the other option. - Jerome 21582 5 jmdyck 2008-08-18 05:44:19 +0000 (In reply to comment #3) > "The fn:boolean function as described in the [Functions and Operators] document > takes an empty sequence, a sequence of one or more nodes, or a singleton value > of type .... All other values are illegal." > No, fn:boolean <em>as described in the F+O doc</em> handles a wider set of > inputs. If you want the static typing to accept a narrower set of types, > fine, but don't make it sound like they're in agreement. I have clarified the distinction between the dynamic and static type restrictions. > Also, the list of singleton types is missing xs:anyURI. The Rec fixed this in the inference rule, but not in the preceding prose. > Also, NodeType+ probably isn't what you want. See Bug 1747, comment #3. Changed to [[ node()+ ]]_sequencetype. 21583 6 jmdyck 2008-08-18 05:46:45 +0000 Sorry, wrong Bug.