Skip to content

Commit

Permalink
update for latest main
Browse files Browse the repository at this point in the history
  • Loading branch information
MicroProofs committed May 3, 2024
1 parent ba4efc4 commit 32320f6
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion crates/aiken-lang/src/tipo.rs
Original file line number Diff line number Diff line change
Expand Up @@ -229,7 +229,7 @@ impl Type {
} => *opaque || args.iter().any(|arg| arg.contains_opaque()),
Type::Tuple { elems, .. } => elems.iter().any(|elem| elem.contains_opaque()),
Type::Fn { .. } => false,
Type::Pair { fst, snd } => fst.contains_opaque() || snd.contains_opaque(),
Type::Pair { fst, snd, .. } => fst.contains_opaque() || snd.contains_opaque(),
}
}

Expand Down

0 comments on commit 32320f6

Please sign in to comment.