Bugs item #1509806, was opened at 2006-06-21 10:58
Message generated for change (Comment added) made by stmane
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=482468&aid=1509806&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: 2
Private: No
Submitted By: Jens Teubner (teubner)
Assigned to: Jens Teubner (teubner)
Summary: PF (Algebra): xs:untypedAtomic may occur for any atomic type
Initial Comment:
(This is relevant for the algebra back-end only. In
milprint_summer, xs:untypedAtomic == xs:string, which
circumvents the problem.)
The type xs:untypedAtomic is promotable to any atomic
type. Hence, it may be left as a statically possible
type for any (built-in) function with atomic arguments.
An implicit typeswitch (introduced by fs.brg) will
ensure that *dynamically* all items will have a
sensible type (not xs:untypedAtomic). From static
analysis, however, the compiler will see a possible
type of xs:untypedAtomic (i.e., a BAT for this type
when creating MIL code).
Examples are:
fn:string-join ((<a/>, "foo"), "bar)
(fn:string-join() is not yet implemented in the algebra
back-end, though)
declare function foo ($a as xs:string, $b as xs:
string)
{
fn:concat ($a, $b)
};
for $a in (<a/>, "foo") return foo ($a, "bar")
(without the user-defined function, the implicit
introduction of an fn:string() as required by the specs
call would hide our actual problem)
Currently, some built-ins (e.g., fn:concat()) complain
in that situation (e.g., there is an assertion testing
for aat_str in the implementation of fn:concat()). It
seems like we can simply drop the BAT for xs:
untypedAtomic (it will contain nils only due to the
typeswitch) in such cases. We have to be aware that
the BAT *may* be available when generating code.
----------------------------------------------------------------------
>Comment By: Stefan Manegold (stmane)
Date: 2009-11-14 23:29
Message:
===================================================================
2009/11/14 - stmane: All,1.146.2.4
Disabled test that is bound to fail.
Please re-enable once bug is fixed.
cf.
ID: 1509806 "PF (Algebra): xs:untypedAtomic may occur for any atomic
type"
https://sourceforge.net/tracker/?func=detail&atid=482468&aid=1509806&group_id=56967
===================================================================
----------------------------------------------------------------------
Comment By: Stefan Manegold (stmane)
Date: 2009-02-16 00:38
Message:
updated TestWeb URLs
ALG:
http://monetdb.cwi.nl/testing/projects/monetdb/Stable/pathfinder/.mTests103/GNU.64.64.d.1-Fedora8/tests_BugTracker/xs_untypedAtomic.SF-1509806.mps.out.00.html
http://monetdb.cwi.nl/testing/projects/monetdb/Stable/pathfinder/.mTests103/GNU.64.64.d.1-Fedora8/tests_BugTracker/xs_untypedAtomic.SF-1509806.mps.err.00.html
MPS:
http://monetdb.cwi.nl/testing/projects/monetdb/Stable/pathfinder/.mTestsg103/GNU.64.64.d.1-Fedora8/tests_BugTracker/xs_untypedAtomic.SF-1509806.mps.out.00.html
----------------------------------------------------------------------
Comment By: Stefan Manegold (stmane)
Date: 2008-01-22 14:46
Message:
Logged In: YES
user_id=572415
Originator: NO
This is still an issue --- at least the correct output has not yet been
provided / checked:
http://monetdb.cwi.nl/testing/projects/monetdb/Current/pathfinder/.mTests103/GNU.64.64.d-Fedora6/tests_BugTracker/xs_untypedAtomic.SF-1509806.mps.out.00.html
http://monetdb.cwi.nl/testing/projects/monetdb/Current/pathfinder/.mTests103/GNU.64.64.d-Fedora6/tests_BugTracker/xs_untypedAtomic.SF-1509806.alg.out.00.html
http://monetdb.cwi.nl/testing/projects/monetdb/Current/pathfinder/.mTests103/GNU.64.64.d-Fedora6/tests_BugTracker/xs_untypedAtomic.SF-1509806.alg.err.00.html
----------------------------------------------------------------------
Comment By: Sjoerd Mullender (sjoerd)
Date: 2007-02-19 16:27
Message:
Logged In: YES
user_id=43607
Originator: NO
Jens, can you check the test output of the mps version and approve it if
it is correct?
You can then assign the bug to JR to fix the algebra version.
----------------------------------------------------------------------
Comment By: Stefan Manegold (stmane)
Date: 2006-12-18 12:39
Message:
Logged In: YES
user_id=572415
Originator: NO
Since also the mps version fails I consider the a "release bug"; cf.
http://monetdb.cwi.nl/testing/projects/monetdb/Stable/pathfinder/.mTests103/GNU.64.64.d-Fedora4/tests_BugTracker/xs_untypedAtomic.SF-1509806.mps.err.00.html
http://monetdb.cwi.nl/testing/projects/monetdb/Stable/pathfinder/.mTests103/GNU.64.64.d-Fedora4/tests_BugTracker/xs_untypedAtomic.SF-1509806.alg.err.00.html
----------------------------------------------------------------------
Comment By: Stefan Manegold (stmane)
Date: 2006-11-05 16:02
Message:
Logged In: YES
user_id=572415
added tests in
pathfinder/tests/BugTracker/Tests/xs_untypedAtomic.SF-1509806.{mps,alg}.*
milprint_summer version (mps) fails with
!ERROR: err:FORG0001: could not cast value to untypedAtomic.
algebra version (alg) fails with
pf:
/net/corona.ins.cwi.nl/export/scratch0/manegold/Monet/Testing/Current/pathfinder/compiler/algebra/logical.c:2690:
PFla_fn_concat: Assertion `n->schema.items[ix1].type ==
0x0004' failed.
----------------------------------------------------------------------
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=482468&aid=1509806&group_id=56967
------------------------------------------------------------------------------
Let Crystal Reports handle the reporting - Free Crystal Reports 2008 30-Day
trial. Simplify your report design, integration and deployment - and focus on
what you do best, core application coding. Discover what's new with
Crystal Reports now. http://p.sf.net/sfu/bobj-july
_______________________________________________
Monetdb-bugs mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/monetdb-bugs
