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

Revise wildcard and type var error message

Browse source
This commit is contained in:
Richard Feldman 2024-05-13 08:23:02 -04:00
parent 18230a7a18
commit 78d77e2f59
No known key found for this signature in database
GPG key ID: F1F21AA5B1D9E43B
2 changed files with 52 additions and 67 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -8638,17 +8638,17 @@ In roc, functions are always written as a lambda, like{}
a
"
),
@r"
── UNBOUND TYPE VARIABLE in /code/proj/Main.roc ────────────────────────────────
@r###"
── WILDCARD NOT ALLOWED HERE in /code/proj/Main.roc ────────────────────────────
The definition of `I` has an unbound type variable:
The definition of `I` includes a wildcard (`*`) type variable:
4│ I : Num.Int *
^
Tip: Type variables must be bound before the `:`. Perhaps you intended
to add a type parameter to this type?
"
Type alias definitions may not use wildcard (`*`) type variables. Only
named type variables are allowed.
"###
);
test_report!(
@ -8657,21 +8657,19 @@ In roc, functions are always written as a lambda, like{}
r"
I : Num.Int _
a : I
a = 0x5
a
"
),
@r"
── UNBOUND TYPE VARIABLE in /code/proj/Main.roc ────────────────────────────────
@r###"
── UNDERSCORE NOT ALLOWED HERE in /code/proj/Main.roc ──────────────────────────
The definition of `I` has an unbound type variable:
The definition of `I` includes an inferred (`_`) type:
4│ I : Num.Int _
^
Tip: Type variables must be bound before the `:`. Perhaps you intended
to add a type parameter to this type?
"
Type alias definitions may not use inferred types (`_`).
"###
);
test_report!(
@ -8683,17 +8681,17 @@ In roc, functions are always written as a lambda, like{}
a
"
),
@r"
── UNBOUND TYPE VARIABLE in /code/proj/Main.roc ────────────────────────────────
@r###"
── WILDCARD NOT ALLOWED HERE in /code/proj/Main.roc ────────────────────────────
The definition of `I` has an unbound type variable:
The definition of `I` includes a wildcard (`*`) type variable:
4│ I := Num.Int *
^
Tip: Type variables must be bound before the `:=`. Perhaps you intended
to add a type parameter to this type?
"
Opaque type definitions may not use wildcard (`*`) type variables. Only
named type variables are allowed.
"###
);
test_report!(
@ -8705,19 +8703,18 @@ In roc, functions are always written as a lambda, like{}
a
"
),
@r"
── UNBOUND TYPE VARIABLE in /code/proj/Main.roc ────────────────────────────────
@r###"
── WILDCARD NOT ALLOWED HERE in /code/proj/Main.roc ────────────────────────────
The definition of `I` has 2 unbound type variables.
Here is one occurrence:
The definition of `I` includes 2 wildcard (`*`) type variables. Here is
one of them:
4│ I : [A (Num.Int *), B (Num.Int *)]
^
Tip: Type variables must be bound before the `:`. Perhaps you intended
to add a type parameter to this type?
"
Type alias definitions may not use wildcard (`*`) type variables. Only
named type variables are allowed.
"###
);
test_report!(
@ -8729,17 +8726,16 @@ In roc, functions are always written as a lambda, like{}
a
"
),
@r"
── UNBOUND TYPE VARIABLE in /code/proj/Main.roc ────────────────────────────────
@r###"
── UNDERSCORE NOT ALLOWED HERE in /code/proj/Main.roc ──────────────────────────
The definition of `I` has an unbound type variable:
The definition of `I` includes an inferred (`_`) type:
4│ I : Num.Int _
^
Tip: Type variables must be bound before the `:`. Perhaps you intended
to add a type parameter to this type?
"
Type alias definitions may not use inferred types (`_`).
"###
);
test_report!(
@ -8751,17 +8747,19 @@ In roc, functions are always written as a lambda, like{}
a
"
),
@r"
── UNBOUND TYPE VARIABLE in /code/proj/Main.roc ────────────────────────────────
@r###"
── UNDECLARED TYPE VARIABLE in /code/proj/Main.roc ─────────────────────────────
The definition of `I` has an unbound type variable:
The definition of `I` includes an undeclared type variable:
4│ I : Num.Int a
^
Tip: Type variables must be bound before the `:`. Perhaps you intended
to add a type parameter to this type?
"
All type variables in type alias definitions must be declared.
Tip: You can declare type variables by putting them right before the `:`
symbol, separated by spaces.
"###
);
test_report!(