This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
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.
(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.
*** This bug has been marked as a duplicate of 2309 ***