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; } }