language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-08-03 11:52:19 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Report unexpected params

Browse source
This commit is contained in:
Agus Zubiaga 2024-07-01 20:28:36 -03:00
parent db76ab4015
commit bc6a84a215
No known key found for this signature in database
10 changed files with 137 additions and 24 deletions
Download patch file Download diff file Expand all files Collapse all files

49
crates/compiler/solve/src/solve.rs
View file

@ -1413,33 +1413,36 @@ fn solve(
*type_index,
);
let expected = module_params_vars
.get(module_id)
// todo(agus): Module has no params? handle
.unwrap();
match unify(
&mut env.uenv(),
actual,
*expected,
UnificationMode::EQ,
Polarity::OF_VALUE,
) {
Success {
vars,
must_implement_ability: _,
lambda_sets_to_specialize: _,
extra_metadata: _,
} => {
env.introduce(rank, &vars);
match module_params_vars.get(module_id) {
None => {
// Module does not expect params. This will be reported by can.
state
}
Some(expected) => {
match unify(
&mut env.uenv(),
actual,
*expected,
UnificationMode::EQ,
Polarity::OF_VALUE,
) {
Success {
vars,
must_implement_ability: _,
lambda_sets_to_specialize: _,
extra_metadata: _,
} => {
env.introduce(rank, &vars);
Failure(vars, _actual_type, _expected_type, _) => {
env.introduce(rank, &vars);
state
}
todo!("report import params mismatch")
Failure(vars, _actual_type, _expected_type, _) => {
env.introduce(rank, &vars);
todo!("report import params mismatch")
}
}
}
}
}