Choose first constructor

enso-org · Mar 1, 2024 · 66e8f32 · 66e8f32
1 parent 2b687f1
commit 66e8f32
Showing 1 changed file with 13 additions and 0 deletions.
diff --git a/test/Base_Tests/src/Semantic/Conversion_Spec.enso b/test/Base_Tests/src/Semantic/Conversion_Spec.enso
@@ -455,6 +455,19 @@ add_specs suite_builder =
             msg . should_contain "expected expression to be Back"
             msg . should_contain "but got ~Value"
 
+        group_builder.specify "Choose first constructor" <|
+            v = ~Value 10
+
+            m_foo (m:Foo|Bar|Back) = m
+            m_bar (m:Bar|Foo|Back) = m
+            m_back_foo (m:Back|Foo|Bar) = m
+            m_back_bar (m:Back|Bar|Foo) = m
+
+            m_foo v . should_equal <| Foo.Value 10
+            m_bar v . should_equal <| Bar.Value 10
+            m_back_foo v . should_equal <| Foo.Value 10
+            m_back_bar v . should_equal <| Bar.Value 10
+
     suite_builder.group "Polyglot Argument" group_builder->
         f1 (x : DateTimeFormatter) = x.to_text
         f2 (x : Text | DateTimeFormatter) = case x of