- From: Jeni Tennison <jeni@jenitennison.com>
- Date: Fri, 16 Nov 2001 12:41:42 +0000
- To: ht@cogsci.ed.ac.uk ((Henry S. Thompson))
- CC: Ross Thompson <rthompson@contivo.com>, xmlschema-dev@w3.org, KAZUMI Saito <ksaito@jp.fujitsu.com>, <www-xml-schema-comments@w3.org>
Henry,
> So I think there's a bug in Schema Component Constraint: Simple Type
> Definition Properties Correct. The following is not what was intended:
>
> 4.2.1 If the {variety} is list, then the {final} of the {base type
> definition} must not contain list.
> 4.2.2 If the {variety} is union, then the {final} of the {base type
> definition} must not contain union.
>
> I think this should have read
>
> 4.2.1 If the {variety} is list, then the {final} of the {item type
> definition} must not contain list.
> 4.2.2 If the {variety} is union, then the {final} of each of the {member type
> definitions} must not contain union.
Yes, that would make a *lot* more sense :)
It would also be helpful to bring the description of {final} for
simple type definitions in Part 2, Section 4.1.1 into line with the
description of {final} in Part 1, Section 3.14.1. Specifically to add
'extension' as a possible value of {final} so that the Schema
Component Constraint: Derivation Valid (Extension) (in Section 3.4.6
of Part 1), Point 2.2 ("The {final} of the [simple] {base type
definition} must not contain extension.") has some effect.
Cheers,
Jeni
---
Jeni Tennison
http://www.jenitennison.com/
Received on Friday, 16 November 2001 08:36:53 UTC