tests

i574n · Feb 2, 2025 · bb76da5 · bb76da5
1 parent dd7def4
commit bb76da5
Showing 3 changed files with 83 additions and 81 deletions.
diff --git a/lib/spiral/common.py b/lib/spiral/common.py
@@ -70,25 +70,25 @@ class Mut0(Record):
 
 Mut0_reflection = _expr7
 
-def _expr9() -> TypeInfo:
+def _expr8() -> TypeInfo:
     return record_type("Common.Mut1", [], Mut1, lambda: [("l0", lambda_type(string_type, unit_type))])
 
 
 @dataclass(eq = False, repr = False, slots = True)
 class Mut1(Record):
     l0: Callable[[str], None]
 
-Mut1_reflection = _expr9
+Mut1_reflection = _expr8
 
-def _expr10() -> TypeInfo:
+def _expr9() -> TypeInfo:
     return record_type("Common.Mut2", [], Mut2, lambda: [("l0", bool_type)])
 
 
 @dataclass(eq = False, repr = False, slots = True)
 class Mut2(Record):
     l0: bool
 
-Mut2_reflection = _expr10
+Mut2_reflection = _expr9
 
 def _expr11() -> TypeInfo:
     return record_type("Common.Mut3", [], Mut3, lambda: [("l0", string_type)])
@@ -164,7 +164,7 @@ def cases() -> list[str]:
 
 US3_reflection = _expr15
 
-def _expr16() -> TypeInfo:
+def _expr17() -> TypeInfo:
     return union_type("Common.US4", [], US4, lambda: [[("f0_0", US3_reflection())], [("f1_0", US3_reflection())], [("f2_0", US3_reflection())], [("f3_0", US3_reflection())], [("f4_0", US3_reflection())]])
 
 
@@ -180,9 +180,9 @@ def cases() -> list[str]:
         return ["US4_0", "US4_1", "US4_2", "US4_3", "US4_4"]
 
 
-US4_reflection = _expr16
+US4_reflection = _expr17
 
-def _expr17() -> TypeInfo:
+def _expr20() -> TypeInfo:
     return union_type("Common.US5", [], US5, lambda: [[("f0_0", string_type)], []])
 
 
@@ -198,9 +198,9 @@ def cases() -> list[str]:
         return ["US5_0", "US5_1"]
 
 
-US5_reflection = _expr17
+US5_reflection = _expr20
 
-def _expr19() -> TypeInfo:
+def _expr23() -> TypeInfo:
     return union_type("Common.US6", [], US6, lambda: [[], []])
 
 
@@ -216,9 +216,9 @@ def cases() -> list[str]:
         return ["US6_0", "US6_1"]
 
 
-US6_reflection = _expr19
+US6_reflection = _expr23
 
-def _expr22() -> TypeInfo:
+def _expr25() -> TypeInfo:
     return union_type("Common.US7", [], US7, lambda: [[("f0_0", US6_reflection())], []])
 
 
@@ -234,7 +234,7 @@ def cases() -> list[str]:
         return ["US7_0", "US7_1"]
 
 
-US7_reflection = _expr22
+US7_reflection = _expr25
 
 def method3(v0_1: str) -> str:
     return v0_1
@@ -249,10 +249,10 @@ def closure1(unit_var: None, v0_1: str) -> US5:
 
 
 def method5(__unit: None=None) -> Callable[[str], US5]:
-    def _arrow26(v: str) -> US5:
+    def _arrow28(v: str) -> US5:
         return closure1(None, v)
 
-    return _arrow26
+    return _arrow28
 
 
 def method2(v0_1: str) -> str:
@@ -280,7 +280,7 @@ def method2(v0_1: str) -> str:
 def method1(__unit: None=None) -> tuple[US1, US2]:
     v1_1: str = method2("TRACE_LEVEL")
     v6: US1 = US1(0, US0(0)) if ("Verbose" == v1_1) else US1(1)
-    def _arrow40(__unit: None=None) -> US1:
+    def _arrow41(__unit: None=None) -> US1:
         v13: US1 = US1(0, US0(1)) if ("Debug" == v1_1) else US1(1)
         if v13.tag == 0:
             return US1(0, v13.fields[0])
@@ -302,7 +302,7 @@ def _arrow40(__unit: None=None) -> US1:
 
 
 
-    return (US1(0, v6.fields[0]) if (v6.tag == 0) else _arrow40(), US2(1) if (method2("AUTOMATION") != "True") else US2(0, from_value(ticks_1(now()), False)))
+    return (US1(0, v6.fields[0]) if (v6.tag == 0) else _arrow41(), US2(1) if (method2("AUTOMATION") != "True") else US2(0, from_value(ticks_1(now()), False)))
 
 
 def closure2(unit_var: None, v0_1: str) -> None:
@@ -337,11 +337,11 @@ def method7(v0_1: Callable[[], None]) -> Callable[[], None]:
 
 def closure3(unit_var: None, v0_1: Callable[[], None]) -> IDisposable:
     v10: Callable[[], None] = method7(v0_1)
-    class ObjectExpr46(IDisposable):
+    class ObjectExpr56(IDisposable):
         def Dispose(self, __unit: None=None, unit_var: Any=unit_var, v0_1: Any=v0_1) -> None:
             v10(None)
 
-    return ObjectExpr46()
+    return ObjectExpr56()
 
 
 def closure6(unit_var: None, v0_1: US6) -> US7:
@@ -368,17 +368,17 @@ def method9(v0_1: US0) -> bool:
         return False
 
     else: 
-        class ObjectExpr61:
+        class ObjectExpr70:
             @property
             def Compare(self) -> Callable[[US0, US0], int]:
                 return compare
 
-        class ObjectExpr64:
+        class ObjectExpr71:
             @property
             def Compare(self) -> Callable[[US0, US0], int]:
                 return compare
 
-        return find(v0_1, of_seq(to_enumerable([(US0(0), 0), (US0(1), 1), (US0(2), 2), (US0(3), 3), (US0(4), 4)]), ObjectExpr61())) >= find(v35, of_seq(to_enumerable([(US0(0), 0), (US0(1), 1), (US0(2), 2), (US0(3), 3), (US0(4), 4)]), ObjectExpr64()))
+        return find(v0_1, of_seq(to_enumerable([(US0(0), 0), (US0(1), 1), (US0(2), 2), (US0(3), 3), (US0(4), 4)]), ObjectExpr70())) >= find(v35, of_seq(to_enumerable([(US0(0), 0), (US0(1), 1), (US0(2), 2), (US0(3), 3), (US0(4), 4)]), ObjectExpr71()))
 
 
 
@@ -387,10 +387,10 @@ def closure10(unit_var: None, v0_1: int64) -> US2:
 
 
 def method11(__unit: None=None) -> Callable[[int64], US2]:
-    def _arrow66(v: int64) -> US2:
+    def _arrow72(v: int64) -> US2:
         return closure10(None, v)
 
-    return _arrow66
+    return _arrow72
 
 
 def method12(__unit: None=None) -> str: