W3C home > Mailing lists > Public > www-xml-schema-comments@w3.org > January to March 2002

Possible error in XML Schema Formal Description

From: by way of <purple_surfer2000@yahoo.fr>
Date: Thu, 14 Mar 2002 11:17:15 -0700
Message-Id: <5.1.0.14.1.20020314111451.02671c40@localhost>
To: W3C XML Schema Comments list <www-xml-schema-comments@w3.org>

I think there is a typo in the "Typed Element" inference rule in section 
"4. Normalization" in:


         XML Schema: Formal Description, W3C Working Draft, 25 September 2001

Typed Element:
x |- e ? e'
deref(e').content = e'[t]
t <: t'
t |- d ? td
----------
x |- e[@xsi:type[t], d]  ? e'[t types td]



The second precondition should read instead :
deref(e').content = e'[t']

(ie: t' instead of t)

Regards

-- mk



<http://fr.mail.yahoo.com>Yahoo! Mail -- Une adresse @yahoo.fr gratuite et 
en français !
Received on Thursday, 14 March 2002 13:19:27 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 23:08:57 UTC