Bugs item #2211565, was opened at 2008-10-31 11:19 Message generated for change (Comment added) made by stmane 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: Stefan Manegold (stmane) Date: 2009-03-15 11:27 Message: updated URLs: http://monetdb.cwi.nl/testing/projects/monetdb/Stable/pathfinder/.mTests103/GNU.64.64.d.1-Fedora8/tests_BugTracker/seqcast_opt_int_to_numeric.SF-1637867.out.00.html http://monetdb.cwi.nl/testing/projects/monetdb/Stable/pathfinder/.mTests103/GNU.64.64.d.1-Fedora8/tests_BugTracker/seqcast_opt_int_to_numeric.SF-1637867.err.00.html http://monetdb.cwi.nl/testing/projects/monetdb/Current/pathfinder/.mTests103/GNU.64.64.d.1-Fedora8/tests_BugTracker/seqcast_opt_int_to_numeric.SF-1637867.out.00.html http://monetdb.cwi.nl/testing/projects/monetdb/Current/pathfinder/.mTests103/GNU.64.64.d.1-Fedora8/tests_BugTracker/seqcast_opt_int_to_numeric.SF-1637867.err.00.html ---------------------------------------------------------------------- Comment By: Jan Rittinger (tsheyar) Date: 2009-02-16 11:17 Message: see also: http://sourceforge.net/tracker2/?func=detail&aid=1637867&group_id=56967&atid=482468 ---------------------------------------------------------------------- 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 ------------------------------------------------------------------------------ Apps built with the Adobe(R) Flex(R) framework and Flex Builder(TM) are powering Web 2.0 with engaging, cross-platform capabilities. Quickly and easily build your RIAs with Flex Builder, the Eclipse(TM)based development software that enables intelligent coding and step-through debugging. Download the free 60 day trial. http://p.sf.net/sfu/www-adobe-com _______________________________________________ Monetdb-bugs mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/monetdb-bugs
