language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-08-04 20:28:02 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 7

Handle error types in record/tag extensions when printing errors

Browse source
This commit is contained in:
Ayaz Hafiz 2022-12-27 13:20:28 -06:00
parent dea114fcc4
commit 5b9e3aa856
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
1 changed files with 8 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

8
crates/compiler/types/src/subs.rs
View file

@ -3967,6 +3967,8 @@ fn flat_type_to_err_type(
ErrorType::Record(err_fields, TypeExt::RigidOpen(var))
}
ErrorType::Error => ErrorType::Record(err_fields, TypeExt::Closed),
other =>
panic!("Tried to convert a record extension to an error, but the record extension had the ErrorType of {:?}", other)
}
@ -3991,6 +3993,8 @@ fn flat_type_to_err_type(
ErrorType::TagUnion(err_tags, TypeExt::RigidOpen(var), pol)
}
ErrorType::Error => ErrorType::TagUnion(err_tags, TypeExt::Closed, pol),
other =>
panic!("Tried to convert a tag union extension to an error, but the tag union extension had the ErrorType of {:?}", other)
}
@ -4019,6 +4023,8 @@ fn flat_type_to_err_type(
ErrorType::TagUnion(err_tags, TypeExt::RigidOpen(var), pol)
}
ErrorType::Error => ErrorType::TagUnion(err_tags, TypeExt::Closed, pol),
other =>
panic!("Tried to convert a tag union extension to an error, but the tag union extension had the ErrorType of {:?}", other)
}
@ -4049,6 +4055,8 @@ fn flat_type_to_err_type(
ErrorType::RecursiveTagUnion(rec_error_type, err_tags, TypeExt::RigidOpen(var), pol)
}
ErrorType::Error => ErrorType::RecursiveTagUnion(rec_error_type, err_tags, TypeExt::Closed, pol),
other =>
panic!("Tried to convert a recursive tag union extension to an error, but the tag union extension had the ErrorType of {:?}", other)
}