[
Lists Home |
Date Index |
Thread Index
]
- From: ht@cogsci.ed.ac.uk (Henry S. Thompson)
- To: Rick JELLIFFE <ricko@geotempo.com>
- Date: Thu, 14 Sep 2000 14:21:23 +0100
Rick JELLIFFE <ricko@geotempo.com> writes:
> Curt Arnold wrote:
>
> > Having to detect when multiple declarations are exactly (or
> > sufficiently) identical seems to be unnecessary complexity.
>
> I don't think this is really so complex. Forgetting any impact of
> abstract elements:
> * a complex type declaration has its own symbol space for elements
> * an element declaration (in a complex type declaration) not only
> defines the existance
> of the element, it also binds the name to a type (directly or by
> reference)
> * an subsequent uses of the element must also bind the name to the same
> type (directly
> or by reference)
>
> A good question is whether a subsequent element can have a derived type
> of the first
> element's type? Henry?
Nope, see reply to Curt.
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/
|