[
Lists Home |
Date Index |
Thread Index
]
- From: ht@cogsci.ed.ac.uk (Henry S. Thompson)
- To: "Arnold, Curt" <Curt.Arnold@hyprotech.com>
- Date: Wed, 13 Sep 2000 20:30:13 +0100
"Arnold, Curt" <Curt.Arnold@hyprotech.com> writes:
> <snip/>
Everything above here is fine.
> "Locally scoped attribute and element declarations are special with
> regard to symbol spaces. Every complex type definition defines its
> own local attribute and element declaration symbol spaces, where
> these symbol spaces are distinct from each other and from any of the
> other symbol spaces."
>
> This statement makes:
>
> <element name="foo">
> <complexType>
> <element name="bar" type="string"/>
> <element name="bar" type="string"/>
> </complexType>
> </element>
>
> illegal (regardless of the value of type) since you have duplicate
> declarations of the same element name within the same symbol space.
> Though it is concievable that you could have sub-symbol spaces
> within a complex type (a symbol space for each group, for example)
> and intra-complex type references to locally-scoped elements, I
> can't see that as being justified at this point.
A misunderstanding on your part: this is specifically allowed, because
there is in fact only one tag-type binding in this local context. In
other words, the value of type _does_ matter.
ht
--
Henry S. Thompson, HCRC Language Technology Group, University of Edinburgh
W3C Fellow 1999--2001, part-time member of W3C Team
2 Buccleuch Place, Edinburgh EH8 9LW, SCOTLAND -- (44) 131 650-4440
Fax: (44) 131 650-4587, e-mail: ht@cogsci.ed.ac.uk
URL: http://www.ltg.ed.ac.uk/~ht/
|