Bugs item #2211565, was opened at 2008-10-31 11:19 Message generated for change (Settings changed) made by tsheyar 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: type disjointness incorrect 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 ---------------------------------------------------------------------- >Comment By: Jan Rittinger (tsheyar) Date: 2008-10-31 11:24 Message: hmpf -- I wasn't finished yet but hit enter with my focus outside the textbox. Here comes the remainder of the bug report: true == PFty_disjoint (PFty_choice (PFty_elem (PFqname (PFns_wild, "a"), PFty_xs_anyAttribute()), PFty_elem (PFqname (PFns_wild, "b"), PFty_xs_anyAttribute())), PFty_xs_anyNode()) false == PFty_disjoint (PFty_choice (PFty_elem (PFqname (PFns_wild, "a"), PFty_xs_anyType()), PFty_elem (PFqname (PFns_wild, "b"), PFty_xs_anyType())), PFty_xs_anyNode()) false == PFty_disjoint (PFty_choice (PFty_xs_anyElement(), PFty_xs_anyElement()), PFty_xs_anyNode ()) false == PFty_disjoint (PFty_xs_anyElement(), PFty_xs_anyNode ())) only the first example (with a nested type being not xs:anyType) returns the incorrect result. ---------------------------------------------------------------------- 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
