This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.

Bug 4192 - Static typing of Comp-notation-1 to Comp-notation-22
Summary: Static typing of Comp-notation-1 to Comp-notation-22
Status: CLOSED FIXED
Alias: None
Product: XML Query Test Suite
Classification: Unclassified
Component: XML Query Test Suite (show other bugs)
Version: 1.0.2
Hardware: PC Windows XP
: P2 normal
Target Milestone: ---
Assignee: Andrew Eisenberg
QA Contact: Mailing list for public feedback on specs from XSL and XML Query WGs
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2007-01-11 08:28 UTC by Tim Mills
Modified: 2010-03-16 15:58 UTC (History)
0 users

See Also:

Attachments

Description Tim Mills 2007-01-11 08:28:45 UTC 
These tests pass arguments typed as zero-or-more sequences to eq, causing a static type check error.

(: Name: Comp-notation-1 :)
(: Written by: Andreas Behm :)
(: Description: notation comparison :)

(: insert-start :)
import schema namespace myns="http://www.example.com/notation";
declare variable $input-context external;
(: insert-end :)

fn:not($input-context//*:NOTATION1 eq $input-context//*:NOTATION3)
Comment 1 Carmelo Montanez 2007-03-19 20:13:27 UTC 
Tim:

Thanks for the comment.  Fixed tests by removing the static typing dependencies.

Thanks,
carmelo