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

Fix more tests and issues

This commit is contained in:
microproofs 2024-10-30 20:43:58 -04:00
parent 6e94d502a7
commit 25e4b42cd0
No known key found for this signature in database
GPG Key ID: 14F93C84DE6AFD17
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
crates/aiken-lang/src/gen_uplc/decision_tree.rs
View File

@ -1039,9 +1039,11 @@ impl<'a, 'b> TreeGen<'a, 'b> {
unreachable!("{:#?}", current_tipo) unreachable!("{:#?}", current_tipo)
}; };
elems.len() elems.len()
} else if let Some(data) = lookup_data_type_by_tipo(self.data_types, subject_tipo) { } else if let Some(data) = lookup_data_type_by_tipo(self.data_types, &current_tipo) {
if data.constructors.len() == 1 { if data.constructors.len() == 1 {
data.constructors[0].arguments.len() data.constructors[0].arguments.len()
} else if data.is_never() {
0
} else { } else {
MIN_NEW_COLUMNS MIN_NEW_COLUMNS
} }
@ -1092,7 +1094,7 @@ impl<'a, 'b> TreeGen<'a, 'b> {
} => { } => {
let data_type = lookup_data_type_by_tipo(self.data_types, &current_tipo).unwrap(); let data_type = lookup_data_type_by_tipo(self.data_types, &current_tipo).unwrap();
if data_type.constructors.len() == 1 { if data_type.constructors.len() == 1 || data_type.is_never() {
arguments arguments
.iter() .iter()
.enumerate() .enumerate()