From 66ca6e43df6434ed690b7c2762611c1bfbf718af Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Re=CC=81my=20Rakic?= Date: Wed, 18 Dec 2019 00:15:47 +0100 Subject: [PATCH] update `naive_rules` output --- README.md | 3 ++- tests/naive_rules.rs | 3 ++- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index f2c13e7..ae4428a 100644 --- a/README.md +++ b/README.md @@ -104,6 +104,7 @@ let region_live_at: Relation<((Origin, Point), ())> = Vec::new().into(); // `errors` inferred as the output relation let errors = { let mut iteration = Iteration::new(); + // Intensional predicates, and their indices let borrow_live_at = iteration.variable::<((Loan, Point), ())>("borrow_live_at"); @@ -134,7 +135,7 @@ let errors = { subset.extend(outlives.iter().clone()); // R04: requires(O, L, P) :- borrow_region(O, L, P). - requires.extend(borrow_region.iter().map(|&tuple| tuple)); + requires.extend(borrow_region.iter().clone()); while iteration.changed() { // Index maintenance diff --git a/tests/naive_rules.rs b/tests/naive_rules.rs index 3acd455..b08b825 100644 --- a/tests/naive_rules.rs +++ b/tests/naive_rules.rs @@ -155,6 +155,7 @@ where // `errors` inferred as the output relation let errors = { let mut iteration = Iteration::new(); + // Intensional predicates, and their indices let borrow_live_at = iteration.variable::<((Loan, Point), ())>("borrow_live_at"); @@ -185,7 +186,7 @@ where subset.extend(outlives.iter().clone()); // R04: requires(O, L, P) :- borrow_region(O, L, P). - requires.extend(borrow_region.iter().map(|&tuple| tuple)); + requires.extend(borrow_region.iter().clone()); while iteration.changed() { // Index maintenance