roc-lang/roc
1
1
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2024-11-11 05:34:11 +03:00
Code Issues Packages Projects Releases Wiki Activity

Print extension vars that are ability-bound

Browse Source
This commit is contained in:
Ayaz Hafiz 2023-01-12 13:50:27 -06:00 committed by Folkert
parent 3d0a0a4a99
commit beb7e79830
No known key found for this signature in database
GPG Key ID: 1F17F6FFD112B97C
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
crates/compiler/types/src/subs.rs
View File

@ -4049,11 +4049,11 @@ fn flat_type_to_err_type(
ErrorType::RecursiveTagUnion(rec_error_type, sub_tags.union(err_tags), sub_ext, pol) ErrorType::RecursiveTagUnion(rec_error_type, sub_tags.union(err_tags), sub_ext, pol)
} }
ErrorType::FlexVar(var) => { ErrorType::FlexVar(var) | ErrorType::FlexAbleVar(var, _) => {
ErrorType::RecursiveTagUnion(rec_error_type, err_tags, TypeExt::FlexOpen(var), pol) ErrorType::RecursiveTagUnion(rec_error_type, err_tags, TypeExt::FlexOpen(var), pol)
} }
ErrorType::RigidVar(var) => { ErrorType::RigidVar(var) | ErrorType::RigidAbleVar(var, _) => {
ErrorType::RecursiveTagUnion(rec_error_type, err_tags, TypeExt::RigidOpen(var), pol) ErrorType::RecursiveTagUnion(rec_error_type, err_tags, TypeExt::RigidOpen(var), pol)
} }