[Bug 4182] Static typing of K-SeqDistinctValuesFunc-7, 8

• From: <bugzilla@wiggum.w3.org>
• Date: Wed, 10 Jan 2007 14:23:37 +0000
• To: public-qt-comments@w3.org
• CC:
• Message-Id: <E1H4eMb-00020O-HF@wiggum.w3.org>

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

           Summary: Static typing of K-SeqDistinctValuesFunc-7, 8
           Product: XML Query Test Suite
           Version: 1.0.2
          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


Since the static return type of distinct-values is a zero-or-more sequence type
(xs:anyAtomicType*), a static type checking error is detected in operator eq.

(:*******************************************************:)
(: Test: K-SeqDistinctValuesFunc-7                       :)
(: Written by: Frans Englich                             :)
(: Date: 2006-10-05T18:29:40+02:00                       :)
(: Purpose: A test whose essence is: `distinct-values((1, 1)) eq 1`. :)
(:*******************************************************:)
distinct-values((1, 1)) eq 1

Received on Wednesday, 10 January 2007 14:23:50 UTC