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

[Bug 6857] New: [XSLT 2.0] XTDE1030 should be a type error

From: <bugzilla@wiggum.w3.org>
Date: Fri, 01 May 2009 07:42:59 +0000
To: public-qt-comments@w3.org
Message-ID: <bug-6857-523@http.www.w3.org/Bugs/Public/>

           Summary: [XSLT 2.0] XTDE1030 should be a type error
           Product: XPath / XQuery / XSLT
           Version: Recommendation
          Platform: PC
        OS/Version: Windows NT
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XSLT 2.0
        AssignedTo: mike@saxonica.com
        ReportedBy: mike@saxonica.com
         QAContact: public-qt-comments@w3.org

Error XTDE1030 arises when a sort key selects values for which the le operator
is not defined - for example QNames or durations. This is classified as a
non-recoverable dynamic error, which means it can't be reported statically. Yet
it can often be detected as a result of static type analysis. It should really
be a type error.

(In fixing this we have to consider whether to change the error code to
XTTE1030, or to abandon the rule that characters 3 and 4 in the error code
always denote the error code. Regrettably, we broke a cardinal rule of code
design, namely that identifiers should never encapsulate information about the
objects they represent.

An alternative fix would be to leave it as a dynamic error, but one that can be
reported statically if detected statically. There are precedents for this.)

Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.
Received on Friday, 1 May 2009 07:43:09 UTC

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