Skip to content

Commit

Permalink
tests pending until #12142
Browse files Browse the repository at this point in the history
  • Loading branch information
radeusgd committed Jan 24, 2025
1 parent a18214f commit 0184d95
Showing 1 changed file with 2 additions and 2 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -167,14 +167,14 @@ add_specs suite_builder =
(c:A).to_text . should_equal "(A_Ctor 1)"
(c:B).to_text . should_equal "(B_Ctor (A_Ctor 1))"

group_builder.specify "structural pattern matching should be able to match the primary type" <|
group_builder.specify "structural pattern matching should be able to match the primary type" pending="TODO: https://github.com/enso-org/enso/issues/12142" <|
ab = make_a_and_b
r = case ab of
A.A_Ctor x -> "matched: "+x.to_text
_ -> "structural matching of A.A_Ctor failed"
r.should_equal "matched: 1"

group_builder.specify "should structural matching match other types?" <|
group_builder.specify "should structural matching match other types?" pending="TODO: decide if we keep this test inhttps://github.com/enso-org/enso/issues/12142" <|
ab = make_a_and_b
r = case ab of
B.B_Ctor x -> "matched: "+x.to_text
Expand Down

0 comments on commit 0184d95

Please sign in to comment.