antijoin bug

Author: frankmcsherry

src/bin/borrow_check.rs

@@ -20,6 +20,7 @@ fn main() {
         let subset_r2p = iteration1.variable::<((Region, Point), Region)>("subset_r2p");
         let subset_p = iteration1.variable::<(Point, (Region, Region))>("subset_p");
 
+        // temporaries as we perform a multi-way join.
         let subset_1 = iteration1.variable::<((Region, Point), Region)>("subset_1");
         let subset_2 = iteration1.variable::<((Region, Point), Region)>("subset_2");
 

src/join.rs

@@ -42,7 +42,7 @@ pub fn antijoin_into<Key: Ord, Val: Ord, Result: Ord, F: Fn(&Key, &Val)->Result>
 
     for &(ref key, ref val) in input1.recent.borrow().iter() {
         tuples2 = gallop(tuples2, |k| k < key);
-        if tuples2.first() == Some(key) {
+        if tuples2.first() != Some(key) {
             results.push(logic(key, val));
         }
     }

src/lib.rs

@@ -118,6 +118,7 @@ pub struct Variable<Tuple: Ord> {
     pub to_add: Rc<RefCell<Vec<Relation<Tuple>>>>,
 }
 
+// Operator implementations.
 impl<Tuple: Ord> Variable<Tuple> {
     /// Adds tuples that result from joining `input1` and `input2`.
     pub fn from_join<K: Ord,V1: Ord, V2: Ord, F: Fn(&K,&V1,&V2)->Tuple>(