From 419b946a82afc71b4edce473ac2cf72d09b1ee57 Mon Sep 17 00:00:00 2001 From: microproofs Date: Tue, 9 May 2023 16:56:50 -0400 Subject: [PATCH] fix: wrap_data_reduce optimization should leave constr data and unconstr data untouched. --- crates/uplc/src/optimize/shrinker.rs | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/crates/uplc/src/optimize/shrinker.rs b/crates/uplc/src/optimize/shrinker.rs index a4e72bf3..42edec28 100644 --- a/crates/uplc/src/optimize/shrinker.rs +++ b/crates/uplc/src/optimize/shrinker.rs @@ -329,9 +329,7 @@ fn wrap_data_reduce(term: &mut Term) { | (DefaultFunction::ListData, DefaultFunction::UnListData) | (DefaultFunction::UnListData, DefaultFunction::ListData) | (DefaultFunction::MapData, DefaultFunction::UnMapData) - | (DefaultFunction::UnMapData, DefaultFunction::MapData) - | (DefaultFunction::UnConstrData, DefaultFunction::ConstrData) - | (DefaultFunction::ConstrData, DefaultFunction::UnConstrData) => { + | (DefaultFunction::UnMapData, DefaultFunction::MapData) => { wrap_data_reduce(Rc::make_mut(inner_arg)); *term = inner_arg.as_ref().clone(); }