language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-27 05:49:08 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

FlexAbleVar sets should be equal if the vars are.

Browse source
This commit is contained in:
Richard Feldman 2023-01-12 16:20:24 -05:00
parent 63161b5330
commit 717350ef9e
No known key found for this signature in database
GPG key ID: F1F21AA5B1D9E43B
1 changed files with 11 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

16
crates/reporting/src/error/type.rs
View file

@ -3170,13 +3170,19 @@ fn should_show_diff(t1: &ErrorType, t2: &ErrorType) -> bool {
(FlexVar(v1), FlexVar(v2)) => v1 != v2, (FlexVar(v1), FlexVar(v2)) => v1 != v2,
(RigidVar(v1), RigidVar(v2)) => v1 != v2, (RigidVar(v1), RigidVar(v2)) => v1 != v2,
(FlexAbleVar(v1, set1), FlexAbleVar(v2, set2)) => { (FlexAbleVar(v1, set1), FlexAbleVar(v2, set2)) => {
if v1 != v2 || set1.len() != set2.len() { #[cfg(debug_assertions)]
return true; {
if v1 == v2 {
// If v1 == v2, then the sets should be equal too!
debug_assert_eq!(set1.len(), set2.len());
debug_assert!(set1
.sorted_iter()
.zip(set2.sorted_iter())
.all(|(t1, t2)| t1 == t2));
}
} }
set1.sorted_iter() v1 != v2
.zip(set2.sorted_iter())
.any(|(t1, t2)| t1 != t2)
} }
(RigidAbleVar(v1, set1), RigidAbleVar(v2, set2)) => { (RigidAbleVar(v1, set1), RigidAbleVar(v2, set2)) => {
if v1 != v2 || set1.len() != set2.len() { if v1 != v2 || set1.len() != set2.len() {