W3C home > Mailing lists > Public > public-qt-comments@w3.org > July 2007

[Bug 4898] [FS] 8.5.1 Type promotion

From: <bugzilla@wiggum.w3.org>
Date: Tue, 31 Jul 2007 18:26:25 +0000
To: public-qt-comments@w3.org
Message-Id: <E1IFwQL-0005h5-ON@wiggum.w3.org>


jmdyck@ibiblio.org changed:

           What    |Removed                     |Added
             Status|NEW                         |RESOLVED
         Resolution|                            |DUPLICATE

------- Comment #1 from jmdyck@ibiblio.org  2007-07-31 18:26 -------
> It appears that there should be a rule of the form
> xs:anyURI can be promoted to the type xs:string
> --------------------------------------------------
> statEnv |-  xs:anyURI can be promoted to xs:string

(I'm assuming that "xs:anyURI can be promoted to the type xs:string" isn't part
of the rule per se, but rather is the preceding prose.)

Yes, I agree. This was pointed out (and resolved) last year as part of Bug
3670, but the fix did not make it into the Recommendation. Instead it will
appear as an erratum.

I'm marking this issue as 'Resolved, duplicate of 3670'. If you agree with this
resolution, please close the issue. 

*** This bug has been marked as a duplicate of bug 3670 ***
Received on Tuesday, 31 July 2007 18:26:36 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:19 UTC