19257 2012-10-03 17:16:29 +0000 [XQ3.0] Context item must be a singleton 2013-06-19 09:31:53 +0000 1 1 1 Unclassified XPath / XQuery / XSLT XQuery 3.0 Last Call drafts PC All CLOSED FIXED P2 normal --- 1 mike jonathan.robie g tim public-qt-comments oldest_to_newest 75242 0 mike 2012-10-03 17:16:29 +0000 In 4.17, Context item declaration, the specification does not make it clear what happens if the initial value of the context item evaluates to (a) an empty sequence, or (b) a sequence containing more than one item. The second case is clearly an error, and we need to say so. The first case is either an error, or results in the context item being "absent" and therefore unusable. 75410 1 jonathan.robie 2012-10-05 21:32:59 +0000 I agree. I would prefer to make both cases errors. 75511 2 tim 2012-10-07 19:00:54 +0000 It must surely be XPTY0004 since the context item type can only be specified as an item (not sequence) type by virtue of the grammar [31] ContextItemDecl ::= "declare" "context" "item" ("as" ItemType)? ((":=" VarValue) | ("external" (":=" VarDefaultValue)?)) and is effectively declare context item as item() external; when not explicitly declared. 75699 3 g 2012-10-09 15:45:56 +0000 I tend to agree with Tim. I think it can be logically inferred from the current specification that a type error will be raised in both cases. Perhaps a note saying so might make this clearer though? 75700 4 jonathan.robie 2012-10-09 15:48:31 +0000 The Working Group agrees. I will make the changes in comments 0, 1, and 2.