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

Always use "MODULE PARAMS" term in errors

Browse source 
The theory is that this will be more searchable
This commit is contained in:
Agus Zubiaga 2024-07-06 22:07:29 -03:00
parent 0cbb352a89
commit 26fe91b02f
No known key found for this signature in database
5 changed files with 23 additions and 44 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -1450,7 +1450,7 @@ fn solve(
Failure(vars, actual_type, expected_type, _) => {
env.introduce(rank, &vars);
problems.push(TypeError::ImportParamsMismatch(
problems.push(TypeError::ModuleParamsMismatch(
*region,
*module_id,
actual_type,
@ -1464,7 +1464,7 @@ fn solve(
(Some(expected), None) => {
let expected_type = env.uenv().var_to_error_type(*expected, Polarity::Neg);
problems.push(TypeError::MissingImportParams(
problems.push(TypeError::MissingModuleParams(
*region,
*module_id,
expected_type,
@ -1473,7 +1473,7 @@ fn solve(
state
}
(None, Some(_)) => {
problems.push(TypeError::UnexpectedImportParams(*region, *module_id));
problems.push(TypeError::UnexpectedModuleParams(*region, *module_id));
state
}