http://www.w3.org/Bugs/Public/show_bug.cgi?id=8006 --- Comment #6 from Markos Zaharioudakis <markos_za@yahoo.com> 2009-11-05 19:46:37 --- (In reply to comment #5) > (In reply to comment #0) > > > > For example, consider the target expression of a rename > > expression. It is a runtime error if this expression returns more than 1 node. > > However, its static type does not put any constraints on the cardinality. > > Actually, the STA rule for RenameExpr requires that the TargetExpr's type have > cardinality zero-or-one. > Yes, you are right. I was reading the rule wrong. The rule for rename has the line: statEnv |- Type1 <: (attribute *| element * | processing-instruction *)? I was interpreting the "*" as an occurrence indicator instead of a name wildcard. Sorry for the trouble. -- Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are the QA contact for the bug.Received on Thursday, 5 November 2009 19:46:39 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Thursday, 5 November 2009 19:46:40 GMT