ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-26 19:51:52 +03:00
Code Issues Packages Projects Releases Wiki Activity

fix type variable tuple parsing

Browse Source
This commit is contained in:
collin 2020-10-27 15:08:22 -07:00
parent 085d59e67a
commit 078827310c
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
dynamic-check/src/assertions/type_variable_pair.rs
View File

@ -90,7 +90,9 @@ impl TypeVariablePairs {
(Type::Array(left_type, left_dimensions), Type::Array(right_type, right_dimensions)) => {
self.push_pairs_array(*left_type, left_dimensions, *right_type, right_dimensions, span)
}
(Type::Tuple(left_types), Type::Tuple(right_types)) => self.push_pairs_tuple(left_types, right_types, span),
(Type::Tuple(left_types), Type::Tuple(right_types)) => {
self.push_pairs_tuple(left_types.into_iter(), right_types.into_iter(), span)
}
(_, _) => Ok(()), // No `TypeVariable` found so we do not push any pairs.
}
}