W3C home > Mailing lists > Public > public-qt-comments@w3.org > May 2007

[Bug 4593] [FS] 8.4 Inconsistency in note on prime subtyping

From: <bugzilla@wiggum.w3.org>
Date: Thu, 31 May 2007 09:26:26 +0000
To: public-qt-comments@w3.org
Message-Id: <E1HtgvK-00057v-HR@wiggum.w3.org>


           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
Received on Thursday, 31 May 2007 09:26:45 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:18 UTC