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

chore: comment fixes

This commit is contained in:
microproofs 2023-12-04 13:52:07 -05:00 committed by Kasey
parent 5c688b1404
commit 88e21449c5
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -223,7 +223,7 @@ impl Program<Name> {
args.push(arg); args.push(arg);
} }
} }
// Pass in either args up to function arity. // Pass in args up to function arity.
with(None, term, args, scope); with(None, term, args, scope);
} }
term => { term => {
@ -351,7 +351,7 @@ impl Program<Name> {
.traverse_uplc_with(&mut |id, term, mut arg_stack, _scope| { .traverse_uplc_with(&mut |id, term, mut arg_stack, _scope| {
match term { match term {
Term::Apply { function, .. } => { Term::Apply { function, .. } => {
// We are apply some arg so now we unwrap the id of the applied arg // We are applying some arg so now we unwrap the id of the applied arg
let id = id.unwrap(); let id = id.unwrap();
if identity_applied_ids.contains(&id) { if identity_applied_ids.contains(&id) {
@ -399,7 +399,7 @@ impl Program<Name> {
}) })
.traverse_uplc_with(&mut |id, term, mut arg_stack, _scope| match term { .traverse_uplc_with(&mut |id, term, mut arg_stack, _scope| match term {
Term::Apply { function, .. } => { Term::Apply { function, .. } => {
// We are apply some arg so now we unwrap the id of the applied arg // We are applying some arg so now we unwrap the id of the applied arg
let id = id.unwrap(); let id = id.unwrap();
if lambda_applied_ids.contains(&id) { if lambda_applied_ids.contains(&id) {