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

Fix #6240

Browse source
This commit is contained in:
JRI98 2024-10-22 12:04:48 +01:00
parent fe029c85b6
commit 511308d4d3
No known key found for this signature in database
GPG key ID: F83B29916FF13F24
2 changed files with 88 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

72
crates/compiler/load/tests/test_reporting.rs
View file

@ -14426,4 +14426,76 @@ All branches in an `if` must have the same type!
// ),
// @r""
// );
test_report!(
issue_6240_1,
indoc!(
r"
{}.abcde
"
),
@r###"
── TYPE MISMATCH in /code/proj/Main.roc ────────────────────────────────────────
This record doesn’t have a `abcde` field:
4│ {}.abcde
^^^^^^^^
In fact, it’s a record with no fields at all!
"###
);
test_report!(
issue_6240_2,
indoc!(
r#"
("", "").abcde
"#
),
@r###"
── TYPE MISMATCH in /code/proj/Main.roc ────────────────────────────────────────
This expression is used in an unexpected way:
4│ ("", "").abcde
^^^^^^^^^^^^^^
It is a tuple of type:
(
Str,
Str,
)a
But you are trying to use it as:
{ abcde : * }b
"###
);
test_report!(
issue_6240_3,
indoc!(
r"
{}.0
"
),
@r###"
── TYPE MISMATCH in /code/proj/Main.roc ────────────────────────────────────────
This expression is used in an unexpected way:
4│ {}.0
^^^^
It is a record of type:
{}
But you are trying to use it as:
(*)b
"###
);
}