Skip to content

Commit

Permalink
Few minor changes, clippy fixes, and test fixes
Browse files Browse the repository at this point in the history
  • Loading branch information
MicroProofs authored and KtorZ committed Aug 3, 2024
1 parent f09d9de commit 2c57575
Show file tree
Hide file tree
Showing 5 changed files with 319 additions and 259 deletions.
2 changes: 1 addition & 1 deletion crates/aiken-lang/src/gen_uplc.rs
Original file line number Diff line number Diff line change
Expand Up @@ -4917,7 +4917,7 @@ impl<'a> CodeGenerator<'a> {
known_data_to_type(term, &tipo)
};

if extract_constant(&term.pierce_no_inlines()).is_some() {
if extract_constant(term.pierce_no_inlines()).is_some() {
let mut program: Program<Name> = Program {
version: (1, 0, 0),
term,
Expand Down
12 changes: 6 additions & 6 deletions crates/aiken-lang/src/gen_uplc/builder.rs
Original file line number Diff line number Diff line change
Expand Up @@ -361,21 +361,21 @@ pub fn find_introduced_variables(air_tree: &AirTree) -> Vec<String> {
AirTree::PairGuard {
fst_name, snd_name, ..
} => fst_name
.into_iter()
.iter()
.cloned()
.chain(snd_name.into_iter().cloned())
.chain(snd_name.iter().cloned())
.collect_vec(),
AirTree::PairAccessor { fst, snd, .. } => fst
.into_iter()
.iter()
.cloned()
.chain(snd.into_iter().cloned())
.chain(snd.iter().cloned())
.collect_vec(),
AirTree::PairClause {
fst_name, snd_name, ..
} => fst_name
.into_iter()
.iter()
.cloned()
.chain(snd_name.into_iter().cloned())
.chain(snd_name.iter().cloned())
.collect_vec(),
AirTree::Fn { params, .. } => params.to_vec(),
AirTree::ListAccessor { names, .. } => names.clone(),
Expand Down
Loading

0 comments on commit 2c57575

Please sign in to comment.