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/>
http://www.w3.org/Bugs/Public/show_bug.cgi?id=6857

           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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 27 March 2012 18:14:57 GMT