22761 2013-07-22 22:58:28 +0000 Maps, esp. map creation is not part of streamability analysis 2014-05-15 14:00:42 +0000 1 1 1 Unclassified XPath / XQuery / XSLT XSLT 3.0 Member-only Editors Drafts All All CLOSED FIXED P2 major --- 1 abel.braaksma mike public-qt-comments oldest_to_newest 91101 0 abel.braaksma 2013-07-22 22:58:28 +0000 Streamability of map constructors has been a topic in the WG mailing list [1], [2], however, it never made it to the streamability analysis. As a refresher, Michael Kay suggested in the aforementioned mail to allow multiple downward expressions in map constructors, by considering them in an implicit fork. Essentially, if we are to follow that line of thought, we get something like this: ---- MapExpr [112] Determine the sweep for each key/value pair, any of the following: - Key is consuming, value is motionless, then consuming - Key is motionless, value is consuming, then consuming - Otherwise, free ranging The sweep of a map expression is the maximum sweep of each item's key/value pair. Note: this rule assumes an implicit fork for each map-item in the expression, which allows expressions like { "price" : price, "quantity" : quantity }. ---- We might attempt something similar for map:new, but not sure we should. [1] https://lists.w3.org/Archives/Member/w3c-xsl-wg/2012Aug/0000.html [2] https://lists.w3.org/Archives/Member/w3c-xsl-wg/2012Aug/0002.html 91969 1 mike 2013-08-13 08:30:10 +0000 Should we retain the rule that if there are duplicate keys, the last one wins? When the key/value pairs are evaluated in parallel, this rule is more difficult to implement. Alternative rules: (a) duplicate keys are a dynamic error (b) if there are duplicate keys it is implementation-dependent which one wins I'm inclined towards (a). 93642 2 mike 2013-09-23 13:46:48 +0000 The WG (F2F in New York) agreed the general principle that map constructors should do an "implicit fork", allowing multiple downward selections. On the edge case concerning duplicate keys, we (Abel + MK) decided to go with option (a) - duplicate keys are an error.