- From: <bugzilla@wiggum.w3.org>
- Date: Thu, 31 May 2007 09:26:26 +0000
- To: public-qt-comments@w3.org
- CC:
http://www.w3.org/Bugs/Public/show_bug.cgi?id=4593 Summary: [FS] 8.4 Inconsistency in note on prime subtyping Product: XPath / XQuery / XSLT Version: Recommendation Platform: All OS/Version: All Status: NEW Severity: minor Priority: P2 Component: Formal Semantics AssignedTo: jmdyck@ibiblio.org ReportedBy: nick@cbcl.co.uk QAContact: public-qt-comments@w3.org 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.
Received on Thursday, 31 May 2007 09:26:45 UTC