language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-07-24 06:55:15 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Turn a couple more solve tests back on

Browse source
This commit is contained in:
Ayaz Hafiz 2022-07-26 14:37:11 -04:00
parent 41eb3ad9a4
commit 1976e435a0
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
1 changed files with 3 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

12
crates/compiler/solve/tests/solve_expr.rs
View file

@ -6510,7 +6510,6 @@ mod solve_expr {
} }
#[test] #[test]
#[ignore = "TODO: fix unification of derived types"]
fn encode_record() { fn encode_record() {
infer_queries!( infer_queries!(
indoc!( indoc!(
@ -6523,14 +6522,11 @@ mod solve_expr {
# ^^^^^^^^^ # ^^^^^^^^^
"# "#
), ),
@r#" @"Encoding#toEncoder(2) : { a : Str } -[[#Derived.toEncoder_{a}(0)]]-> Encoder fmt | fmt has EncoderFormatting"
"Encoding#toEncoder(2) : { a : Str } -[[#Derived.toEncoder_{a}(0)]]-> Encoder fmt | fmt has EncoderFormatting",
"#
) )
} }
#[test] #[test]
#[ignore = "TODO: fix unification of derived types"]
fn encode_record_with_nested_custom_impl() { fn encode_record_with_nested_custom_impl() {
infer_queries!( infer_queries!(
indoc!( indoc!(
@ -6539,16 +6535,14 @@ mod solve_expr {
imports [Encode.{ toEncoder, Encoding, custom }] imports [Encode.{ toEncoder, Encoding, custom }]
provides [main] to "./platform" provides [main] to "./platform"
A := {} A := {} has [Encoding {toEncoder}]
toEncoder = \@A _ -> custom \b, _ -> b toEncoder = \@A _ -> custom \b, _ -> b
main = toEncoder { a: @A {} } main = toEncoder { a: @A {} }
# ^^^^^^^^^ # ^^^^^^^^^
"# "#
), ),
@r#" @"Encoding#toEncoder(2) : { a : A } -[[#Derived.toEncoder_{a}(0)]]-> Encoder fmt | fmt has EncoderFormatting"
"Encoding#toEncoder(2) : { a : A } -[[#Derived.toEncoder_{a}(0)]]-> Encoder fmt | fmt has EncoderFormatting",
"#
) )
} }