diff --git a/compiler/test_gen/src/gen_abilities.rs b/compiler/test_gen/src/gen_abilities.rs index 0fa3f804ab..4434a77cf7 100644 --- a/compiler/test_gen/src/gen_abilities.rs +++ b/compiler/test_gen/src/gen_abilities.rs @@ -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