waalge
/
aiken
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Make change @ktorz suggested

This commit is contained in:
microproofs 2023-10-07 13:04:07 -04:00 committed by Kasey
parent 98cb01413b
commit 9335522df4
1 changed files with 4 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
crates/uplc/src/optimize/shrinker.rs
View File

@ -183,14 +183,13 @@ fn lambda_reducer(term: &mut Term<Name>) {
body, body,
} = func } = func
{ {
if let Term::Constant(c) = arg { match arg {
if !matches!(c.as_ref(), Constant::String(_)) { Term::Constant(c) if matches!(c.as_ref(), Constant::String(_)) => (),
Term::Constant(_) | Term::Var(_) | Term::Builtin(_) => {
let body = Rc::make_mut(body); let body = Rc::make_mut(body);
*term = substitute_term(body, parameter_name.clone(), arg); *term = substitute_term(body, parameter_name.clone(), arg);
} }
} else if let Term::Var(_) | Term::Builtin(_) = arg { _ => (),
let body = Rc::make_mut(body);
*term = substitute_term(body, parameter_name.clone(), arg);
} }
} }
} }