W3C home > Mailing lists > Public > public-qt-comments@w3.org > September 2006

[Bug 3700] K-SeqExprTreat-11 and K-SeqExprTreat-12

From: <bugzilla@wiggum.w3.org>
Date: Tue, 12 Sep 2006 09:11:03 +0000
CC:
To: public-qt-comments@w3.org
Message-Id: <E1GN4IJ-0005Ac-C5@wiggum.w3.org>

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

           Summary: K-SeqExprTreat-11 and K-SeqExprTreat-12
           Product: XML Query Test Suite
           Version: unspecified
          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


"During static analysis:  The static type of the treat expression is type1.
This enables the expression to be used as an argument of a function that
requires a parameter of type1."

Expressions such as:

"asda" treat as xs:string + eq "asda"

fail under static type checking because eq accepts Type?, not Type+.

There is a related problem with K-SeqExprTreat-13.
Received on Tuesday, 12 September 2006 09:11:14 GMT

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