jeff/dust
1
0
Fork 0
Code

Fix type check tests

Browse Source
This commit is contained in:
Jeff 2024-06-17 11:02:13 -04:00
parent 9e0c0b4db3
commit dbabf874b7
1 changed files with 43 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

43
dust-lang/src/abstract_tree/type.rs
View File

@ -79,6 +79,48 @@ impl Type {
return Ok(()); return Ok(());
} }
} }
(
Type::List {
length: left_length,
item_type: left_type,
},
Type::List {
length: right_length,
item_type: right_type,
},
) => {
if left_length != right_length || left_type != right_type {
return Err(TypeConflict {
actual: other.clone(),
expected: self.clone(),
});
}
return Ok(());
}
(
Type::ListOf(left_type),
Type::List {
item_type: right_type,
..
},
)
| (
Type::List {
item_type: right_type,
..
},
Type::ListOf(left_type),
) => {
if right_type.check(&left_type).is_err() {
return Err(TypeConflict {
actual: other.clone(),
expected: self.clone(),
});
} else {
return Ok(());
}
}
( (
Type::Function { Type::Function {
type_parameters: left_type_parameters, type_parameters: left_type_parameters,
@ -103,6 +145,7 @@ impl Type {
}); });
} }
} }
for (left_parameter, right_parameter) in left_value_parameters for (left_parameter, right_parameter) in left_value_parameters
.iter() .iter()
.zip(right_value_parameters.iter()) .zip(right_value_parameters.iter())