4064 2006-12-10 14:06:27 +0000 stZ041 - simpleType with final=extension 2010-07-05 13:53:24 +0000 1 1 1 Unclassified XML Schema Test Suite Microsoft tests 2006-11-06 PC Windows XP RESOLVED FIXED Metadata updated 2010-07-05 P2 normal --- 1 mike ht David_E3 tobias.koenig public-xml-schema-testsuite oldest_to_newest 13125 0 mike 2006-12-10 14:06:27 +0000 In the Microsoft SimpleType test set, testGroup stZ041, the schema stZ041.xsd has: <xs:simpleType name="myType" final="extension"> Part 2 section 4.1.2 gives the content model as: <simpleType final = (#all | List of (list | union | restriction)) The schema is therefore invalid, but it is labelled as valid. 13769 1 zafara 2007-01-22 22:13:12 +0000 The question of the final attribute supporting 'extension' is an old one, please see http://lists.w3.org/Archives/Public/xmlschema-dev/2001Jun/0047.html. The structures and datatypes spec are in conflict here, it is more likely that it was eliminated from the datatypes BNF as a typo. At other places in the normative spec it clearly talks about supporting extension on final attribute on simple types. 20729 2 mike 2008-06-22 14:47:04 +0000 In 1.1 (notwithstanding the typo documented in bug #5782) the {final} property of simpleType allows "extension", making the test valid. Bug #5783 has been raised documenting the inconsistency between Part 1 and Part 2, and this bug will be marked as dependent on the resolution of #5783 22456 3 tobias.koenig 2008-11-17 16:08:18 +0000 Even if the extension is allowed in the final attribute, shouldn't the test be marked as invalid anyway? ct tries to derive from myType by extension but extension is blocked by myType... 34709 4 David_E3 2010-04-09 15:43:58 +0000 WG agreed that either way the test is invalid. 34710 5 ht 2010-04-09 15:45:10 +0000 Removed dependency because Tobias's analysis is correct