- From: <bugzilla@wiggum.w3.org>
- Date: Wed, 10 Jan 2007 16:55:03 +0000
- To: public-qt-comments@w3.org
- CC:
http://www.w3.org/Bugs/Public/show_bug.cgi?id=4187
Summary: Static typing of K-ContextPositionFunc-2
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
The left hand operand to "eq" is statically typed as a zero-or-more sequence,
resulting in a static type check error.
(:*******************************************************:)
(: Test: K-ContextPositionFunc-2 :)
(: Written by: Frans Englich :)
(: Date: 2006-10-05T18:29:41+02:00 :)
(: Purpose: A test whose essence is: `(1, 2, 3)[if(1) then 1 else position()]
eq
1`. :)
(:*******************************************************:)
(1, 2, 3)[if(1) then 1 else position()] eq 1
Received on Wednesday, 10 January 2007 17:08:16 UTC