Update of /cvsroot/monetdb/pathfinder/compiler/semantics
In directory 23jxhf1.ch3.sourceforge.com:/tmp/cvs-serv26727/semantics
Modified Files:
Tag: Aug2009
typecheck.brg
Log Message:
-- 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
retrieving revision 1.80.4.1
diff -u -d -r1.80 -r1.80.4.1
--- typecheck.brg 7 May 2009 14:28:57 -0000 1.80
+++ typecheck.brg 14 Oct 2009 20:17:10 -0000 1.80.4.1
@@ -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
