Update of /cvsroot/monetdb/pathfinder/compiler/semantics
In directory sc8-pr-cvs7.sourceforge.net:/tmp/cvs-serv23524/semantics

Modified Files:
        typecheck.brg 
Log Message:
With my checkin yesterday, Pathfinder would wrongly complain
about queries that are statically determined to evaluate to
the empty sequence.  Here is (hopefully) the fix.


Index: typecheck.brg
===================================================================
RCS file: /cvsroot/monetdb/pathfinder/compiler/semantics/typecheck.brg,v
retrieving revision 1.55
retrieving revision 1.56
diff -u -d -r1.55 -r1.56
--- typecheck.brg       20 Feb 2007 14:25:48 -0000      1.55
+++ typecheck.brg       22 Feb 2007 08:41:53 -0000      1.56
@@ -416,7 +416,7 @@
             reduce (kids[1], nts[1]);
             reduce (kids[0], nts[0]);
 
-            if (PFty_subtype (TY(R(p)), PFty_star (PFty_none ())))
+            if (PFty_subtype (TY(R(p)), PFty_plus (PFty_none ())))
                 /*
                  * Not really okay, but we let it go through with
                  * a warning: the query *statically* evaluated to


-------------------------------------------------------------------------
Take Surveys. Earn Cash. Influence the Future of IT
Join SourceForge.net's Techsay panel and you'll get the chance to share your
opinions on IT & business topics through brief surveys-and earn cash
http://www.techsay.com/default.php?page=join.php&p=sourceforge&CID=DEVDEV
_______________________________________________
Monetdb-pf-checkins mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/monetdb-pf-checkins

Reply via email to