Use checked signatures for Table and Column

distribution/lib/Standard/Base/0.0.0-dev/src/Data/Decimal.enso

@@ -1153,8 +1153,8 @@ type Decimal
 
              Decimal.parse "(123,456,789.654)" format="###,###.##;(###,###.##)"
              # => -123456789.654
-    parse : Text -> Locale -> Text -> Decimal ! Number_Parse_Error ! Illegal_Argument
-    parse text:Text locale:Locale=Locale.default format:Text="" -> Decimal ! Number_Parse_Error ! Illegal_Argument =
+    parse : Text -> Locale -> Text -> Decimal ! Number_Parse_Error | Illegal_Argument
+    parse text:Text locale:Locale=Locale.default format:Text="" -> Decimal ! Number_Parse_Error | Illegal_Argument =
         Illegal_Argument.handle_java_exception <|
             # `getInstance` returns `DecimalFormat` or a subclass of `DecimalFormat`.
             decimal_format = NumberFormat.getInstance locale.java_locale

distribution/lib/Standard/Base/0.0.0-dev/src/Data/Numbers.enso

@@ -793,8 +793,8 @@ type Float
 
              Float.parse "(123,456,789.654)" format="###,###.##;(###,###.##)"
              # => -123456789.654
-    parse : Text -> Locale | Nothing -> Text | Nothing -> Float ! Number_Parse_Error ! Illegal_Argument
-    parse text:Text (locale : Locale | Nothing = Nothing) (format : Text | Nothing = Nothing) -> Float ! Number_Parse_Error ! Illegal_Argument =
+    parse : Text -> Locale | Nothing -> Text | Nothing -> Float ! Number_Parse_Error | Illegal_Argument
+    parse text:Text (locale : Locale | Nothing = Nothing) (format : Text | Nothing = Nothing) -> Float ! Number_Parse_Error | Illegal_Argument =
         case locale.is_nothing && format.is_nothing of
             True ->
                 Panic.catch NumberFormatException (Double.parseDouble text) _->

test/Table_Tests/src/Common_Table_Operations/Column_Operations_Spec.enso

@@ -1317,10 +1317,10 @@ add_column_operation_specs suite_builder setup =
         group_builder.specify "text_left and text_right should error on non integer parameters" <|
             t = table_builder [["numbers", [1, 2, 3]]]
             col = t.at "numbers"
-            col.text_left 3.14 . should_fail_with Invalid_Value_Type
-            col.text_right 3.14 . should_fail_with Invalid_Value_Type
-            col.text_left "7" . should_fail_with Invalid_Value_Type
-            col.text_left "7" . should_fail_with Invalid_Value_Type
+            Test.expect_panic Type_Error <| col.text_left 3.14
+            Test.expect_panic Type_Error <| col.text_right 3.14
+            Test.expect_panic Type_Error <| col.text_left "7"
+            Test.expect_panic Type_Error <| col.text_left "7"
 
         group_builder.specify "text_left and text_right should return empty on zero argument" <|
             with_mixed_columns_if_supported [["strings", ["a", "foobar", "", Nothing, "👩‍🔬👩‍🔬V👩‍🔬👩‍🔬", "café", "It was the best of times, it was the worst of times, it was the age of wisdom, it was the age of foolishness, it was the epoch of belief, it was the epoch of incredulity, it was the season of light, it was the season of darkness, it was the spring of hope, it was the winter of despair."]]] t->
@@ -1647,7 +1647,7 @@ add_column_operation_specs suite_builder setup =
                 data.c.text_replace "a" "#" . should_fail_with Invalid_Value_Type
                 Test.expect_panic Type_Error (data.a.text_replace 1 "#")
                 data.a.text_replace data.c "#" . should_fail_with Invalid_Value_Type
-                data.a.text_replace "a" 1 . should_fail_with Invalid_Value_Type
+                Test.expect_panic Type_Error (data.a.text_replace "a" 1)
                 data.a.text_replace "a" data.c . should_fail_with Invalid_Value_Type
 
             group_builder.specify "should not replace if Empty term" <|
@@ -1695,7 +1695,7 @@ add_column_operation_specs suite_builder setup =
 
         group_builder.specify "should only allow trim on Text columns" <|
             data.c.trim what="a" . should_fail_with Invalid_Value_Type
-            data.a.trim what=1 . should_fail_with Invalid_Value_Type
+            Test.expect_panic Type_Error <| data.a.trim what=1
             data.a.trim what=data.c . should_fail_with Invalid_Value_Type
 
     suite_builder.group prefix+"(Column_Operations_Spec) Other Column Operations" group_builder->
@@ -1783,7 +1783,7 @@ add_column_operation_specs suite_builder setup =
             t = table_builder [["a", [1, 2, 3]]]
             c = t.at "a"
 
-            c.rename Nothing . should_fail_with Invalid_Column_Names
+            Test.expect_panic Type_Error <| c.rename Nothing
             c.rename '' . should_fail_with Invalid_Column_Names
             c.rename 'a\0b' . should_fail_with Invalid_Column_Names
             c.rename '\0' . should_fail_with Invalid_Column_Names

test/Table_Tests/src/Common_Table_Operations/Date_Time_Spec.enso

@@ -1,4 +1,5 @@
 from Standard.Base import all
+import Standard.Base.Errors.Common.Type_Error
 import Standard.Base.Errors.Illegal_Argument.Illegal_Argument
 
 from Standard.Table import Table, Value_Type
@@ -494,7 +495,7 @@ add_specs suite_builder setup =
 
         group_builder.specify "should check shift_amount type in date_add" <|
             t = dates1.get
-            t.at "d_X" . date_add "text" Date_Period.Day . should_fail_with Invalid_Value_Type
+            Test.expect_panic Type_Error <| t.at "d_X" . date_add "text" Date_Period.Day
 
         group_builder.specify "date_diff and date_add should work correctly with DST" pending="May be failing on some Database configurations. ToDo: investigate - https://github.com/enso-org/enso/issues/7326" <|
             # TODO the behaviour here may differ between backends.