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

update for latest main

This commit is contained in:
microproofs 2024-03-18 11:24:13 -04:00 committed by Kasey
parent 61a021f9e3
commit 9e78f0fc2a
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
crates/aiken-lang/src/tipo.rs
View File

@ -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(),
}
}