[Bug 5786] New: [FS] improve static typing of fn:trace()


           Summary: [FS] improve static typing of fn:trace()
           Product: XPath / XQuery / XSLT
           Version: Working drafts
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Formal Semantics 1.1
        AssignedTo: jmdyck@ibiblio.org
        ReportedBy: liam@w3.org
         QAContact: public-qt-comments@w3.org

See bug 3784 for details:

Since the return type for fn:trace isn't inferred from the input it is tracing,
one must in most cases insert a 'treat as' expression each time one inserts an
fn:trace call. I would find this very cumbersome. For example, this query is a
static typing error:

trace("this Input is traced", "The trace message.") eq "a string"

because the left operand to 'eq' has item()* as static type.

I suggest that a section is added for fn:trace, and that its return type is
inferred similarly to fn:reverse().

This is a large change, but the specification also has a large hole here, in my
opinion. fn:trace() is very unpractical on a static typing implementation as it
is now.

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 Monday, 23 June 2008 13:47:02 UTC