This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.

Bug 2327 - Equality of IDC field values
Summary: Equality of IDC field values
Status: CLOSED DUPLICATE of bug 2309
Alias: None
Product: XML Schema
Classification: Unclassified
Component: Structures: XSD Part 1 (show other bugs)
Version: unspecified
Hardware: All All
: P4 normal
Target Milestone: ---
Assignee: Henry S. Thompson
QA Contact: XML Schema comments list
URL:
Whiteboard:
Keywords: resolved
Depends on:
Blocks:
 
Reported: 2005-10-04 14:03 UTC by Sandy Gao
Modified: 2009-04-21 19:21 UTC (History)
1 user (show)

See Also:

Attachments

Description Sandy Gao 2005-10-04 14:03:01 UTC 
Section 3.11.1 of the structure spec:

"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."

Note that
1. This is the structure spec, and the above statement shouldn't belong here.
2. It doesn't always work. For 2 types derived from "int", their values may be 
equal, but they don'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 "depends on" bug 2045.
Comment 1 Dave Peterson 2005-10-04 22:05:31 UTC 
(In reply to comment #0)
> Section 3.11.1 of the structure spec:
> 
> "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."
> 
> Note that
> 1. This is the structure spec, and the above statement shouldn't belong here.
> 2. It doesn't always work. For 2 types derived from "int", their values may be 
> equal, but they don't have derivation relationship.

Should be that both have a common ancestor.  Whether it's necessary to say that
in Part 1 I don't have an opinion at present.
 
> 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 "depends on" bug 2045.

This one seems to be independent of 2045.
Comment 2 Sandy Gao 2005-10-06 16:01:57 UTC 

*** This bug has been marked as a duplicate of 2309 ***