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

Report import params mismatch

Browse source
This commit is contained in:
Agus Zubiaga 2024-07-02 10:51:40 -03:00
parent d2c9953429
commit 89fc1104f0
No known key found for this signature in database
4 changed files with 148 additions and 28 deletions
Download patch file Download diff file Expand all files Collapse all files

107
crates/compiler/load_internal/tests/test_load.rs
View file

@ -1662,7 +1662,6 @@ fn module_params_optional() {
}
#[test]
#[should_panic(expected = "report import params mismatch")]
fn module_params_typecheck_fail() {
let modules = vec![
(
@ -1689,13 +1688,85 @@ fn module_params_typecheck_fail() {
),
];
let _ = multiple_modules("module_params_typecheck_fail", modules);
// todo(agus): test reporting
let result = multiple_modules("module_params_typecheck_fail", modules).unwrap_err();
assert_eq!(
result,
indoc!(
r#"
── IMPORT PARAMS MISMATCH in tmp/module_params_typecheck_fail/Main.roc ─────────
Something is off with the params provided by this import:
3│ import Api { key: 123 }
^^^^^^^^^^^^
This is the type I inferred:
{ key : Num * }
However, Api expects:
{ key : Str }
"#
)
);
}
#[test]
#[should_panic(expected = "report import params mismatch")]
fn module_params_typecheck_extra_fields() {
fn module_params_missing_fields() {
let modules = vec![
(
"Api.roc",
indoc!(
r#"
module { key } -> [url]
url = "example.com/$(key)"
"#
),
),
(
"Main.roc",
indoc!(
r#"
module [example]
import Api {}
example = Api.url
"#
),
),
];
let result = multiple_modules("module_params_missing_fields", modules).unwrap_err();
assert_eq!(
result,
indoc!(
r#"
── IMPORT PARAMS MISMATCH in tmp/module_params_missing_fields/Main.roc ─────────
Something is off with the params provided by this import:
3│ import Api {}
^^
This is the type I inferred:
{}
However, Api expects:
{ key : Str }
Tip: Looks like the key field is missing.
"#
)
);
}
#[test]
fn module_params_extra_fields() {
let modules = vec![
(
"Api.roc",
@ -1721,8 +1792,30 @@ fn module_params_typecheck_extra_fields() {
),
];
let _ = multiple_modules("module_params_typecheck_extra_fields", modules);
// todo(agus): test reporting
let result = multiple_modules("module_params_extra_fields", modules).unwrap_err();
assert_eq!(
result,
indoc!(
r#"
── IMPORT PARAMS MISMATCH in tmp/module_params_extra_fields/Main.roc ───────────
Something is off with the params provided by this import:
3│ import Api { key: "123", doesNotExist: Bool.true }
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
This is the type I inferred:
{ doesNotExist : Bool, … }
However, Api expects:
{ … }
"#
)
);
}
#[test]