language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-28 22:34:45 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Print able type variables correctly

Browse source
This commit is contained in:
Ayaz Hafiz 2022-05-07 17:12:28 -04:00 • committed by ayazhafiz
parent 154b17d9f0
commit b3845c21bd
3 changed files with 35 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

9
compiler/solve/src/solve.rs
View file

@ -1958,6 +1958,8 @@ fn type_to_variable<'a>(
let copy_var = match opt_ability {
None => helper!(typ),
Some(ability) => {
// If this type argument is marked as being bound to an ability, we must
// now correctly instantiate it as so.
match RegisterVariable::from_type(subs, rank, pools, arena, typ) {
RegisterVariable::Direct(var) => {
use Content::*;
@ -1968,13 +1970,6 @@ fn type_to_variable<'a>(
var,
FlexAbleVar(Some(name), *ability),
),
RigidAbleVar(name, existing_ability) => {
debug_assert_eq!(existing_ability, *ability);
subs.set_content(
var,
FlexAbleVar(Some(name), existing_ability),
);
}
_ => {
// TODO associate the type to the bound ability, and check
// that it correctly implements the ability.