[Bug 3782] K-TraceFunc-4 from bugzilla@wiggum.w3.org on 2006-10-02 (public-qt-comments@w3.org from October 2006)

From: <bugzilla@wiggum.w3.org>
Date: Mon, 02 Oct 2006 13:38:09 +0000
To: public-qt-comments@w3.org
CC:
Message-Id: <E1GUNzl-0007Hx-JP@wiggum.w3.org>

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

           Summary: K-TraceFunc-4
           Product: XML Query Test Suite
           Version: 1.0
          Platform: PC
        OS/Version: Windows XP
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XML Query Test Suite
        AssignedTo: andrew.eisenberg@us.ibm.com
        ReportedBy: tim@cbcl.co.uk
         QAContact: public-qt-comments@w3.org


The query:

trace(\"a string\", \"trace message\") eq \"a string\""

fails static typechecking, since trace returns item()*.  However, this could be
rectified by the addition of a Formal Semantics typechecking rule:

---------------------------------------------------
statEnv  |-  (FN-URI,"trace")(Type1, Type2) : Type1

Received on Monday, 2 October 2006 13:38:30 UTC