<?xml version="1.0" encoding="UTF-8" standalone="yes" ?>
<!DOCTYPE bugzilla SYSTEM "https://www.w3.org/Bugs/Public/page.cgi?id=bugzilla.dtd">

<bugzilla version="5.0.4"
          urlbase="https://www.w3.org/Bugs/Public/"
          
          maintainer="sysbot+bugzilla@w3.org"
>

    <bug>
          <bug_id>2327</bug_id>
          
          <creation_ts>2005-10-04 14:03:00 +0000</creation_ts>
          <short_desc>Equality of IDC field values</short_desc>
          <delta_ts>2009-04-21 19:21:40 +0000</delta_ts>
          <reporter_accessible>1</reporter_accessible>
          <cclist_accessible>1</cclist_accessible>
          <classification_id>1</classification_id>
          <classification>Unclassified</classification>
          <product>XML Schema</product>
          <component>Structures: XSD Part 1</component>
          <version>unspecified</version>
          <rep_platform>All</rep_platform>
          <op_sys>All</op_sys>
          <bug_status>CLOSED</bug_status>
          <resolution>DUPLICATE</resolution>
          <dup_id>2309</dup_id>
          
          <bug_file_loc></bug_file_loc>
          <status_whiteboard></status_whiteboard>
          <keywords>resolved</keywords>
          <priority>P4</priority>
          <bug_severity>normal</bug_severity>
          <target_milestone>---</target_milestone>
          
          
          <everconfirmed>1</everconfirmed>
          <reporter name="Sandy Gao">sandygao</reporter>
          <assigned_to name="Henry S. Thompson">ht</assigned_to>
          <cc>davep</cc>
          
          <qa_contact name="XML Schema comments list">www-xml-schema-comments</qa_contact>

      

      

      

          <comment_sort_order>oldest_to_newest</comment_sort_order>  
          <long_desc isprivate="0" >
    <commentid>6639</commentid>
    <comment_count>0</comment_count>
    <who name="Sandy Gao">sandygao</who>
    <bug_when>2005-10-04 14:03:01 +0000</bug_when>
    <thetext>Section 3.11.1 of the structure spec:

&quot;Values of differing type can only be equal if one type is derived from the 
other, and the value is in the value space of both.&quot;

Note that
1. This is the structure spec, and the above statement shouldn&apos;t belong here.
2. It doesn&apos;t always work. For 2 types derived from &quot;int&quot;, their values may be 
equal, but they don&apos;t have derivation relationship.

With bug 2045 (R-181) fixed, I think we can simply remove the above quoted 
sentence (or refer to the equality fundmental facet in the datatype spec).

Propose to mark this one as an error and &quot;depends on&quot; bug 2045.</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>6647</commentid>
    <comment_count>1</comment_count>
    <who name="Dave Peterson">davep</who>
    <bug_when>2005-10-04 22:05:31 +0000</bug_when>
    <thetext>(In reply to comment #0)
&gt; Section 3.11.1 of the structure spec:
&gt; 
&gt; &quot;Values of differing type can only be equal if one type is derived from the 
&gt; other, and the value is in the value space of both.&quot;
&gt; 
&gt; Note that
&gt; 1. This is the structure spec, and the above statement shouldn&apos;t belong here.
&gt; 2. It doesn&apos;t always work. For 2 types derived from &quot;int&quot;, their values may be 
&gt; equal, but they don&apos;t have derivation relationship.

Should be that both have a common ancestor.  Whether it&apos;s necessary to say that
in Part 1 I don&apos;t have an opinion at present.
 
&gt; With bug 2045 (R-181) fixed, I think we can simply remove the above quoted 
&gt; sentence (or refer to the equality fundmental facet in the datatype spec).
&gt; 
&gt; Propose to mark this one as an error and &quot;depends on&quot; bug 2045.

This one seems to be independent of 2045.</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>6650</commentid>
    <comment_count>2</comment_count>
    <who name="Sandy Gao">sandygao</who>
    <bug_when>2005-10-06 16:01:57 +0000</bug_when>
    <thetext>

*** This bug has been marked as a duplicate of 2309 ***</thetext>
  </long_desc>
      
      

    </bug>

</bugzilla>