W3C home > Mailing lists > Public > public-qt-comments@w3.org > November 2009

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

From: <bugzilla@wiggum.w3.org>
Date: Thu, 05 Nov 2009 19:46:38 +0000
To: public-qt-comments@w3.org
Message-Id: <E1N68I2-0004w1-75@wiggum.w3.org>
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

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:29 UTC