29868 2016-09-23 18:16:52 +0000 XQueryX stylesheet does not always convert arrowExpr to XQuery correctly 2016-10-07 10:56:09 +0000 1 1 1 Unclassified XPath / XQuery / XSLT XQueryX 3.1 Candidate Recommendation PC All RESOLVED FIXED P2 normal --- 1 josh.spiegel josh.spiegel andrew_coleman public-qt-comments oldest_to_newest 127520 0 josh.spiegel 2016-09-23 18:16:52 +0000 The XQueryX for test ArrowPostfix-021 is: <xqx:module xmlns:xqx="http://www.w3.org/2005/XQueryX" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.w3.org/2005/XQueryX http://www.w3.org/2005/XQueryX/xqueryx.xsd"> <xqx:mainModule> <xqx:queryBody> <xqx:arrowExpr> <xqx:argExpr> <xqx:integerConstantExpr> <xqx:value>2</xqx:value> </xqx:integerConstantExpr> </xqx:argExpr> <xqx:mapConstructor> <xqx:mapConstructorEntry> <xqx:mapKeyExpr> <xqx:integerConstantExpr> <xqx:value>1</xqx:value> </xqx:integerConstantExpr> </xqx:mapKeyExpr> <xqx:mapValueExpr> <xqx:integerConstantExpr> <xqx:value>2</xqx:value> </xqx:integerConstantExpr> </xqx:mapValueExpr> </xqx:mapConstructorEntry> <xqx:mapConstructorEntry> <xqx:mapKeyExpr> <xqx:integerConstantExpr> <xqx:value>2</xqx:value> </xqx:integerConstantExpr> </xqx:mapKeyExpr> <xqx:mapValueExpr> <xqx:integerConstantExpr> <xqx:value>4</xqx:value> </xqx:integerConstantExpr> </xqx:mapValueExpr> </xqx:mapConstructorEntry> <xqx:mapConstructorEntry> <xqx:mapKeyExpr> <xqx:integerConstantExpr> <xqx:value>3</xqx:value> </xqx:integerConstantExpr> </xqx:mapKeyExpr> <xqx:mapValueExpr> <xqx:integerConstantExpr> <xqx:value>6</xqx:value> </xqx:integerConstantExpr> </xqx:mapValueExpr> </xqx:mapConstructorEntry> </xqx:mapConstructor> <xqx:arguments> </xqx:arguments> </xqx:arrowExpr> </xqx:queryBody> </xqx:mainModule> </xqx:module> The XQueryX to XQuery stylesheet produces the following: ( 2 => map { 1 : 2 , 2 : 4 , 3 : 6 } () ) This is not a valid XQuery because the map constructor needs to be in a parenthesized expression. 127521 1 josh.spiegel 2016-09-23 19:10:35 +0000 I propose conditionally adding parens around <xsl:apply-templates select="."/> <xsl:template match="xqx:arrowExpr"> <xsl:value-of select="$LPAREN"/> <xsl:value-of select="$SPACE"/> <xsl:apply-templates select="xqx:argExpr"/> <xsl:for-each select="*[not(self::xqx:argExpr) and not(self::xqx:arguments)]"> <xsl:text> =&gt; </xsl:text> <xsl:choose> <xsl:when test="self::xqx:EQName or self::xqx:variableRef"> <xsl:apply-templates select="."/> </xsl:when> <xsl:otherwise> <xsl:value-of select="$LPAREN"/> <xsl:apply-templates select="."/> <xsl:value-of select="$RPAREN"/> </xsl:otherwise> </xsl:choose> <xsl:choose> <xsl:when test="following-sibling::*[1][self::xqx:arguments]"> <xsl:for-each select="following-sibling::*[1][self::xqx:arguments]"> <xsl:call-template name="parenthesizedList"/> </xsl:for-each> </xsl:when> <xsl:otherwise> <xsl:value-of select="$LPAREN"/> <xsl:value-of select="$RPAREN"/> </xsl:otherwise> </xsl:choose> </xsl:for-each> <xsl:value-of select="$SPACE"/> <xsl:value-of select="$RPAREN"/> </xsl:template> 127688 2 andrew_coleman 2016-10-07 10:56:09 +0000 At the meeting on 2016-10-04, the WG agreed to adopt the proposal in comment #1 Action A-656-05 was raised to track this.