[Bug 8006] [UPD] : wrong static typing rule for transform expression?

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 UTC