From c286ada08d824bf8f9465bf25ece62cf22f43cc8 Mon Sep 17 00:00:00 2001 From: microproofs Date: Wed, 24 Jul 2024 11:29:55 -0400 Subject: [PATCH] clippy fix --- benchmarks/plutus.json | 2 +- crates/uplc/src/optimize/shrinker.rs | 25 +++++++++++-------------- 2 files changed, 12 insertions(+), 15 deletions(-) diff --git a/benchmarks/plutus.json b/benchmarks/plutus.json index 5c4319e1..67b69be3 100644 --- a/benchmarks/plutus.json +++ b/benchmarks/plutus.json @@ -6,7 +6,7 @@ "plutusVersion": "v2", "compiler": { "name": "Aiken", - "version": "v1.0.21-alpha+4b04517" + "version": "v1.0.29-alpha+dfce9c1" }, "license": "Apache-2.0" }, diff --git a/crates/uplc/src/optimize/shrinker.rs b/crates/uplc/src/optimize/shrinker.rs index 288bd9b5..fe042bce 100644 --- a/crates/uplc/src/optimize/shrinker.rs +++ b/crates/uplc/src/optimize/shrinker.rs @@ -988,21 +988,18 @@ impl Term { } } - fn pierce_no_inlines<'a>(&'a self) -> &'a Self { + fn pierce_no_inlines(&self) -> &Self { let mut term = self; - loop { - match term { - Term::Lambda { - parameter_name, - body, - } => { - if parameter_name.as_ref().text == NO_INLINE { - term = body; - } else { - break; - } - } - _ => break, + + while let Term::Lambda { + parameter_name, + body, + } = term + { + if parameter_name.as_ref().text == NO_INLINE { + term = body; + } else { + break; } }