From 30dd1f60e74e6931f15aba33d2a965b9158ab141 Mon Sep 17 00:00:00 2001 From: microproofs Date: Sat, 30 Mar 2024 13:38:07 -0400 Subject: [PATCH] small simplification --- crates/aiken-lang/src/tipo.rs | 8 +------- 1 file changed, 1 insertion(+), 7 deletions(-) diff --git a/crates/aiken-lang/src/tipo.rs b/crates/aiken-lang/src/tipo.rs index fcdaa8de..a7b46151 100644 --- a/crates/aiken-lang/src/tipo.rs +++ b/crates/aiken-lang/src/tipo.rs @@ -497,14 +497,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() {