[Bug 22878] New: [XSLT 3.0] Compatibility of overriding functions

https://www.w3.org/Bugs/Public/show_bug.cgi?id=22878

            Bug ID: 22878
           Summary: [XSLT 3.0] Compatibility of overriding functions
    Classification: Unclassified
           Product: XPath / XQuery / XSLT
           Version: Working drafts
          Hardware: PC
                OS: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XSLT 3.0
          Assignee: mike@saxonica.com
          Reporter: mike@saxonica.com
        QA Contact: public-qt-comments@w3.org

I think the rules for overriding functions in xsl:override should add the
constraints:

(a) if the overridden function has identity-sensitive="no" then the overriding
function must have identity-sensitive="no"

(b) if the overridden function has override-extension-functions="no" then the
overriding function must have override-extension-functions="no".

Justification:

(a) the compiler may make optimizations based on the fact that a function was
specified to not be identity-sensitive; for example, it may move function calls
out of a loop. Overriding this attribute would invalidate such optimizations.

(b) when the compiler sees override-extension-functions="no" it should be able
to generate a call to an extension function (ignoring the user-defined
function) if one is available; since this may usefully involve generating
inline code for the extension function, it should not have to reconsider this
decision if the user-defined function is overridden in another package.

-- 
You are receiving this mail because:
You are the QA Contact for the bug.

Received on Sunday, 4 August 2013 13:40:14 UTC