Bugs item #2211565, was opened at 2008-10-31 11:19 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=2211565&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: Jan Rittinger (tsheyar) Assigned to: Jens Teubner (teubner) Summary: PF: disjoint ((elem a | elem b), node) == true Initial Comment: Hi Jens, the following query fails due to incorrect typing http://monetdb.cwi.nl/testing/projects/monetdb/Current/pathfinder/.mTests103/GNU.32.32.d.1-Darwin8.11.0/tests_BugTracker/seqcast_opt_int_to_numeric.SF-1637867.err.00.html somehow PFty_disjoint (PFty_choice (PFty_xs_anyElement(), PFty_xs_anyElement()), PFty_xs_anyNode ()) returns true; The problem arises in semantics/typecheck.brg:915 ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=482468&aid=2211565&group_id=56967 ------------------------------------------------------------------------- This SF.Net email is sponsored by the Moblin Your Move Developer's challenge Build the coolest Linux based applications with Moblin SDK & win great prizes Grand prize is a trip for two to an Open Source event anywhere in the world http://moblin-contest.org/redirect.php?banner_id=100&url=/ _______________________________________________ Monetdb-bugs mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/monetdb-bugs
