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

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