- From: <bugzilla@wiggum.w3.org>
- Date: Tue, 31 Jul 2007 18:26:25 +0000
- To: public-qt-comments@w3.org
- CC:
http://www.w3.org/Bugs/Public/show_bug.cgi?id=4898
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