language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-26 13:29:12 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Update reporting test

Browse source
This commit is contained in:
Ayaz Hafiz 2022-07-12 16:57:42 -04:00
parent 3708ed7c90
commit f7dea48418
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
1 changed files with 14 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -9060,7 +9060,9 @@ All branches in an `if` must have the same type!
main = Encode.toEncoder { x: @A {} }
"#
),
@r#"
// TODO: this error message is quite unfortunate. We should remove the duplication, and
// also support regions that point to things in other modules. See also https://github.com/rtfeldman/roc/issues/3056.
@r###"
── TYPE MISMATCH ───────────────────────────────────────── /code/proj/Main.roc ─
This expression has a type that does not implement the abilities it's expected to:
@ -9081,7 +9083,17 @@ All branches in an `if` must have the same type!
Tip: `A` does not implement `Encoding`. Consider adding a custom
implementation or `has Encode.Encoding` to the definition of `A`.
"#
── INCOMPLETE ABILITY IMPLEMENTATION ───────────────────── /code/proj/Main.roc ─
The type `A` does not fully implement the ability `Encoding`. The
following specializations are missing:
A specialization for `toEncoder`, which is defined here:
5│
^^^^^^^^^
"###
);
test_report!(