4593 2007-05-31 09:26:26 +0000 [FS] 8.4 Inconsistency in note on prime subtyping 2009-06-22 19:46:36 +0000 1 1 1 Unclassified XPath / XQuery / XSLT Formal Semantics 1.0 Recommendation All All CLOSED FIXED P2 minor --- 1 nick jmdyck public-qt-comments oldest_to_newest 15255 0 nick 2007-05-31 09:26:26 +0000 The note states: "Note that prime(Type) · quantifier(Type) is always a super type of the original type Type I.e., prime(Type) · quantifier(Type) <: Type always holds." so describes the prime as both a supertype and a subtype! I think it should be subtype. 15271 1 jmdyck 2007-06-01 22:09:34 +0000 I agree that there is an inconsistency, but I disagree with your suggested resolution. That is, I believe you're suggesting that "is always a super type" be changed to "is always a subtype". Instead, I think prime(Type) · quantifier(Type) <: Type should be changed to Type <: prime(Type) · quantifier(Type) 15273 2 nick 2007-06-04 10:21:11 +0000 That's what I was suggesting, but now after looking at it again I think you are right. 21718 3 jmdyck 2008-09-02 01:11:11 +0000 This issue has been entered as FS erratum E054, and the fix has been committed to the source files for the next edition of the FS document. Consequently, I'm marking this issue resolved-FIXED. If you agree with this resolution, please CLOSE the issue. 25653 4 jmdyck 2009-06-22 19:46:36 +0000 The fix appears in the Proposed Edited Recommendation for the FS. After 9 months with no response from the original reporter, I am marking this issue CLOSED.