Update compression.rs

mlb2251 · Nov 26, 2023 · 358745b · 358745b
1 parent fca80f7
commit 358745b
Showing 1 changed file with 2 additions and 5 deletions.
diff --git a/src/compression.rs b/src/compression.rs
@@ -414,10 +414,7 @@ impl Pattern {
 
         // to guarantee eta long we cant allow abstractions to start with a lambda at the top
         if cfg.eta_long {
-            match_locations.retain(|node| match expands_to_of_node(&set[*node]) {
-                ExpandsTo::Lam(_) => false,
-                _ => true,
-            });
+            match_locations.retain(|node| !matches!(expands_to_of_node(&set[*node]), ExpandsTo::Lam(_)));
         }
 
         let utility_upper_bound = utility_upper_bound(&match_locations, body_utility, cost_of_node_all, num_paths_to_node, cost_fn, cfg);
@@ -2276,4 +2273,4 @@ pub fn json_of_step_results(step_results: &[CompressionStepResult], train_progra
         "rewritten_dreamcoder": rewritten_dreamcoder,
         "abstractions": step_results.iter().map(|inv| inv.json(&cfg.step)).collect::<Vec<serde_json::Value>>(),
     })
-}
+}