Update of /cvsroot/monetdb/pathfinder/compiler/semantics
In directory 23jxhf1.ch3.sourceforge.com:/tmp/cvs-serv547/compiler/semantics
Modified Files:
Tag: Aug2009_NFI
typecheck.brg
Log Message:
propagated changes of Wednesday Oct 14 2009 - Thursday Oct 15 2009
from the Aug2009 branch to the Aug2009_NFI branch
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2009/10/14 - tsheyar: compiler/semantics/typecheck.brg,1.80.4.1
-- Disable PFty_disjoint test in type checking.
While the testing does not show any negative effect it might avoid
the problem in bug #2877044.
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
U typecheck.brg
Index: typecheck.brg
===================================================================
RCS file: /cvsroot/monetdb/pathfinder/compiler/semantics/typecheck.brg,v
retrieving revision 1.80.8.1
retrieving revision 1.80.8.2
diff -u -d -r1.80.8.1 -r1.80.8.2
--- typecheck.brg 28 Sep 2009 23:20:25 -0000 1.80.8.1
+++ typecheck.brg 15 Oct 2009 13:14:45 -0000 1.80.8.2
@@ -954,10 +954,7 @@
/* LocationSteps: locsteps (LocationStep, CoreExpr) */
case 41:
- if (PFty_disjoint (PFty_prime (TY(R(p))), PFty_node ()))
- TY(p) = PFty_empty ();
- else
- TY(p) = *PFty_simplify (PFty_quantifier (TY(R(p))) (TY(L(p))));
+ TY(p) = *PFty_simplify (PFty_quantifier (TY(R(p))) (TY(L(p))));
break;
/* CoreExpr: apply (FunctionArgs) */
------------------------------------------------------------------------------
Come build with us! The BlackBerry(R) Developer Conference in SF, CA
is the only developer event you need to attend this year. Jumpstart your
developing skills, take BlackBerry mobile applications to market and stay
ahead of the curve. Join us from November 9 - 12, 2009. Register now!
http://p.sf.net/sfu/devconference
_______________________________________________
Monetdb-pf-checkins mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/monetdb-pf-checkins
