Bugs item #1823378, was opened at 2007-10-31 11:06
Message generated for change (Comment added) made by mvankeulen
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=482468&aid=1823378&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: Invalid
Priority: 5
Private: No
Submitted By: Maurice van Keulen (mvankeulen)
Assigned to: Jan Rittinger (tsheyar)
Summary: Incorrect return type of "with - seeded by - recurse"
Initial Comment:
(algebra backend only)
The attached query gives the following type error:
type error: body of pxml:complete() evaluates to `node*' which is not a subtype
of `element list { item* }*'
# halted in typecheck.brg (reduce), line 1207
Apparently. the "with ... seeded by ... recurse ..." expression has the type
node*. Removing the return type specification on the function works fine
(YESSS!!! one of the major stumbling blocks for porting my probxml code to
algebra has been solved!!!). I do need a better type because it effectively
prohibits any navigation on the result, e.g., changing the bottom part to
for $l in pxml:complete($pk)
return <list>{for $c in $l/c return $c}</list>
gives
fatal error: Sorry, I cannot translate the test for type `node*'
----------------------------------------------------------------------
>Comment By: Maurice van Keulen (mvankeulen)
Date: 2007-10-31 16:06
Message:
Logged In: YES
user_id=654674
Originator: YES
The correct type can be enforced by saying
with $result as element(list)* seeded by ... recurse ...
So, no bug after all.
----------------------------------------------------------------------
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=482468&aid=1823378&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
