Bugs item #1766173, was opened at 2007-08-02 16:07
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=482468&aid=1766173&group_id=56967
Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: PF/compiler
Group: Pathfinder CVS Head
Status: Open
Resolution: None
Priority: 5
Private: No
Submitted By: Maurice van Keulen (mvankeulen)
Assigned to: Nobody/Anonymous (nobody)
Summary: Double for / position / subsequence bug
Initial Comment:
The query below contains a double for, each with an "at"-clause to track the
position of the elements over which we iterate. We use subsequence to get the
remainder of each list. The subsequence for the second list is incorrect.
declare function complete($al as xs:string*, $bl as xs:string*)
as element(list)*
{
for $a at $pa in $al
,$b at $pb in $bl
let $arest := subsequence($al,$pa+1)
,$brest := subsequence($bl,$pb+1)
return
<list>
<a pos="{$pa}">{$a}</a>
<arest>{$arest}</arest>
<b pos="{$pb}">{$b}</b>
<brest>{$brest}</brest>
</list>
};
<result>{
let $a := ("x","y")
,$b := ("p","q")
return
complete($a,$b)
}</result>
it gives
<?xml version="1.0"?>
<result>
<list>
<a pos="1">x</a>
<arest>y</arest>
<b pos="1">p</b>
<brest>p q</brest>
</list>
<list>
<a pos="1">x</a>
<arest>y</arest>
<b pos="2">q</b>
<brest>p q</brest>
</list>
<list>
<a pos="2">y</a>
<arest/>
<b pos="1">p</b>
<brest>p q</brest>
</list>
<list>
<a pos="2">y</a>
<arest/>
<b pos="2">q</b>
<brest>p q</brest>
</list>
</result>
instead of
<?xml version="1.0"?>
<result>
<list>
<a pos="1">x</a>
<arest>y</arest>
<b pos="1">p</b>
<brest>q</brest>
</list>
<list>
<a pos="1">x</a>
<arest>y</arest>
<b pos="2">q</b>
<brest/>
</list>
<list>
<a pos="2">y</a>
<arest/>
<b pos="1">p</b>
<brest>q</brest>
</list>
<list>
<a pos="2">y</a>
<arest/>
<b pos="2">q</b>
<brest/>
</list>
</result>
----------------------------------------------------------------------
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=482468&aid=1766173&group_id=56967
-------------------------------------------------------------------------
This SF.net email is sponsored by: Splunk Inc.
Still grepping through log files to find problems? Stop.
Now Search log events and configuration files using AJAX and a browser.
Download your FREE copy of Splunk now >> http://get.splunk.com/
_______________________________________________
Monetdb-bugs mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/monetdb-bugs
