[Bug 4155] Static typing of K2-InternalVariablesWithout-10

• From: <bugzilla@wiggum.w3.org>
• Date: Mon, 08 Jan 2007 14:42:33 +0000
• To: public-qt-comments@w3.org
• CC:
• Message-Id: <E1H3vhp-0007oQ-9e@wiggum.w3.org>

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

           Summary: Static typing of K2-InternalVariablesWithout-10
           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 function local:myFunc has return type item()*, the eq operator will
fail static type checking.

(:*******************************************************:)
(: Test: K2-InternalVariablesWithout-10                  :)
(: Written by: Frans Englich                             :)
(: Date: 2006-08-04T17:13:26Z                            :)
(: Purpose: Function arguments shadow global variables.  :)
(:*******************************************************:)
declare variable $local:myVar := local:myFunc(3);
declare function local:myFunc($local:myVar)
{
    $local:myVar
};
local:myFunc(6) eq 6

Received on Monday, 8 January 2007 14:42:43 UTC