Skip to content

Commit

Permalink
small simplification
Browse files Browse the repository at this point in the history
  • Loading branch information
MicroProofs committed Apr 16, 2024
1 parent a0f9aa9 commit 7f31ac6
Showing 1 changed file with 1 addition and 7 deletions.
8 changes: 1 addition & 7 deletions crates/aiken-lang/src/tipo.rs
Expand Up @@ -493,14 +493,8 @@ impl Type {
UplcType::Unit
} else if self.is_map() {
UplcType::List(UplcType::Pair(UplcType::Data.into(), UplcType::Data.into()).into())
} else if self.is_list() {
} else if self.is_list() || self.is_tuple() {
UplcType::List(UplcType::Data.into())
} else if self.is_tuple() {
match self {
Self::Tuple { .. } => UplcType::List(UplcType::Data.into()),
Self::Var { tipo, .. } => tipo.borrow().get_uplc_type().unwrap(),
_ => unreachable!(),
}
} else if self.is_pair() {
UplcType::Pair(UplcType::Data.into(), UplcType::Data.into())
} else if self.is_bls381_12_g1() {
Expand Down

0 comments on commit 7f31ac6

Please sign in to comment.