W3C home > Mailing lists > Public > public-qt-comments@w3.org > June 2008

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

From: <bugzilla@wiggum.w3.org>
Date: Mon, 23 Jun 2008 13:46:28 +0000
To: public-qt-comments@w3.org
Message-ID: <bug-5786-523@http.www.w3.org/Bugs/Public/>

http://www.w3.org/Bugs/Public/show_bug.cgi?id=5786

           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 GMT

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