[Bug 5940] Element Declarations Consistent

http://www.w3.org/Bugs/Public/show_bug.cgi?id=5940





--- Comment #3 from Michael Kay <mike@saxonica.com>  2008-08-26 17:17:02 ---
Another observation regarding Element Declarations Consistent. I think one of
the objectives of this constraint is to make static type inferencing possible:
if you has an element E of type T, and you are looking for a child of E called
FOO, then you know what type FOO will be by examination of type T. 

But there is yet another situation that prevents such an inference: you can
have two independent types P and Q that both extend B, and that both introduce
new element particles called FOO, but that give FOO different types.

So I wonder if the time has come to review whether EDC actually achieves
anything useful at all?


-- 
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 Tuesday, 26 August 2008 17:17:37 UTC