Fix indent

This commit is contained in:
Ayaz Hafiz 2022-04-19 16:21:46 -04:00
parent 0387eeed23
commit c0dec1d5bc
No known key found for this signature in database
GPG Key ID: 0E2A37416A25EF58

View File

@ -140,22 +140,22 @@ fn ability_constrained_in_non_member_multiple_specializations() {
assert_evals_to!(
indoc!(
r#"
app "test" provides [ result ] to "./platform"
app "test" provides [ result ] to "./platform"
Hash has
hash : a -> U64 | a has Hash
Hash has
hash : a -> U64 | a has Hash
mulHashes : a, b -> U64 | a has Hash, b has Hash
mulHashes = \x, y -> hash x * hash y
mulHashes : a, b -> U64 | a has Hash, b has Hash
mulHashes = \x, y -> hash x * hash y
Id := U64
hash = \$Id n -> n
Id := U64
hash = \$Id n -> n
Three := {}
hash = \$Three _ -> 3
Three := {}
hash = \$Three _ -> 3
result = mulHashes ($Id 100) ($Three {})
"#
result = mulHashes ($Id 100) ($Three {})
"#
),
300,
u64
@ -168,21 +168,21 @@ fn ability_constrained_in_non_member_multiple_specializations_inferred() {
assert_evals_to!(
indoc!(
r#"
app "test" provides [ result ] to "./platform"
app "test" provides [ result ] to "./platform"
Hash has
hash : a -> U64 | a has Hash
Hash has
hash : a -> U64 | a has Hash
mulHashes = \x, y -> hash x * hash y
mulHashes = \x, y -> hash x * hash y
Id := U64
hash = \$Id n -> n
Id := U64
hash = \$Id n -> n
Three := {}
hash = \$Three _ -> 3
Three := {}
hash = \$Three _ -> 3
result = mulHashes ($Id 100) ($Three {})
"#
result = mulHashes ($Id 100) ($Three {})
"#
),
300,
u64