Bugs item #2211565, was opened at 2008-10-31 11:19 Message generated for change (Comment added) 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: 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 ------------------------------------------------------------------------------ Open Source Business Conference (OSBC), March 24-25, 2009, San Francisco, CA -OSBC tackles the biggest issue in open source: Open Sourcing the Enterprise -Strategies to boost innovation and cut costs with open source participation -Receive a $600 discount off the registration fee with the source code: SFAD http://p.sf.net/sfu/XcvMzF8H _______________________________________________ Monetdb-bugs mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/monetdb-bugs
