language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-12-15 21:23:57 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 7

Update reporting tests

Browse source
This commit is contained in:
Ayaz Hafiz 2022-08-09 17:23:27 -07:00
parent 1c31cd22e6
commit 5ebb85481c
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
1 changed files with 27 additions and 27 deletions
Download patch file Download diff file Expand all files Collapse all files

54
crates/reporting/tests/test_reporting.rs
View file

@ -1004,16 +1004,16 @@ mod test_reporting {
@r###"
── CIRCULAR TYPE ───────────────────────────────────────── /code/proj/Main.roc ─
I'm inferring a weird self-referential type for `g`:
I'm inferring a weird self-referential type for `f`:
4│ f = \g -> g g
^
^
Here is my best effort at writing down the type. You will see ∞ for
parts of the type that repeat something already printed out
infinitely.
∞ -> a
(∞ -> a) -> a
"###
);
@ -1188,20 +1188,20 @@ mod test_reporting {
f
"#
),
@r#"
@r###"
── CIRCULAR TYPE ───────────────────────────────────────── /code/proj/Main.roc ─
I'm inferring a weird self-referential type for `x`:
I'm inferring a weird self-referential type for `f`:
5│ f = \x -> f [x]
^
^
Here is my best effort at writing down the type. You will see ∞ for
parts of the type that repeat something already printed out
infinitely.
List ∞
"#
List ∞ -> List a
"###
);
test_report!(
@ -1247,19 +1247,6 @@ mod test_reporting {
6│ g = \x -> f [x]
^
Here is my best effort at writing down the type. You will see ∞ for
parts of the type that repeat something already printed out
infinitely.
List ∞ -> List a
── CIRCULAR TYPE ───────────────────────────────────────── /code/proj/Main.roc ─
I'm inferring a weird self-referential type for `f`:
5│ f = \x -> g x
^
Here is my best effort at writing down the type. You will see ∞ for
parts of the type that repeat something already printed out
infinitely.
@ -1279,20 +1266,33 @@ mod test_reporting {
f
"#
),
@r#"
@r###"
── CIRCULAR TYPE ───────────────────────────────────────── /code/proj/Main.roc ─
I'm inferring a weird self-referential type for `x`:
I'm inferring a weird self-referential type for `f`:
6│ g = \x -> f [x]
^
4│ f = \x -> g x
^
Here is my best effort at writing down the type. You will see ∞ for
parts of the type that repeat something already printed out
infinitely.
List ∞
"#
List ∞ -> List a
── CIRCULAR TYPE ───────────────────────────────────────── /code/proj/Main.roc ─
I'm inferring a weird self-referential type for `g`:
6│ g = \x -> f [x]
^
Here is my best effort at writing down the type. You will see ∞ for
parts of the type that repeat something already printed out
infinitely.
List ∞ -> List a
"###
);
test_report!(