Update of /cvsroot/monetdb/pathfinder/compiler/semantics
In directory 23jxhf1.ch3.sourceforge.com:/tmp/cvs-serv6344/compiler/semantics
Modified Files:
typecheck.brg
Log Message:
propagated changes of Thursday Oct 15 2009
from the Nov2009 branch to the development trunk
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2009/10/15 - sjoerd: compiler/semantics/typecheck.brg,1.80.6.2
propagated changes of Thursday Oct 15 2009
from the Aug2009_NFI branch to the Nov2009 branch
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
2009/10/15 - sjoerd: compiler/semantics/typecheck.brg,1.80.8.2
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.81
retrieving revision 1.82
diff -u -d -r1.81 -r1.82
--- typecheck.brg 5 Oct 2009 09:39:16 -0000 1.81
+++ typecheck.brg 15 Oct 2009 13:54:33 -0000 1.82
@@ -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
