From 4f0e0c6afe161ce12d62f0150e0ac3e62ee540db Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=ED=94=84=EB=A6=AC=EB=A7=88?= Date: Tue, 7 Jan 2025 16:45:13 -0300 Subject: [PATCH] tests --- lib/fsharp/common.py | 4 +- lib/spiral/base.dib.html | 73 +- lib/spiral/base.dib.ipynb | 73 +- lib/spiral/common.py | 78 +- lib/spiral/runtime.py | 232 +- lib/spiral/sm'.dib.html | 36 +- lib/spiral/sm'.dib.ipynb | 36 +- lib/spiral/sm.py | 152 +- lib/spiral/trace.py | 82 +- scripts/build.dib.html | 116186 +++++++++++++++++------------------ scripts/build.dib.ipynb | 116161 +++++++++++++++++----------------- scripts/core.ps1 | 19 +- scripts/init.dib | 2 +- scripts/init.dib.html | 68 +- scripts/init.dib.ipynb | 67 +- 15 files changed, 110868 insertions(+), 122401 deletions(-) diff --git a/lib/fsharp/common.py b/lib/fsharp/common.py index ec9db188..85bceb6a 100644 --- a/lib/fsharp/common.py +++ b/lib/fsharp/common.py @@ -10,7 +10,7 @@ q: str = "\"" -def _expr190() -> TypeInfo: +def _expr221() -> TypeInfo: return union_type("Polyglot.Common.TraceLevel", [], TraceLevel, lambda: [[], [], [], [], []]) @@ -25,7 +25,7 @@ def cases() -> list[str]: return ["Verbose", "Debug", "Info", "Warning", "Critical"] -TraceLevel_reflection = _expr190 +TraceLevel_reflection = _expr221 def to_trace_level(_arg: TraceLevel) -> US0: if _arg.tag == 1: diff --git a/lib/spiral/base.dib.html b/lib/spiral/base.dib.html index 9a61dd73..59ad7f56 100644 --- a/lib/spiral/base.dib.html +++ b/lib/spiral/base.dib.html @@ -8503,8 +8503,8 @@

join_body

#![allow(unused_parens)] #![allow(unused_variables)] #![allow(unused_assignments)] -mod module_5170bee5 { - pub mod Spiral_builder { +mod module_503290fb { + pub mod Spiral { use super::*; use fable_library_rust::Native_::on_startup; use fable_library_rust::String_::printfn; @@ -8520,13 +8520,9 @@

join_body

printfn!("{0}", v0); } pub fn method0() { - let v3: i32 = ((9_i32 + (Spiral_builder::method1())) + 2_i32) + 1_i32; + let v3: i32 = ((9_i32 + (Spiral::method1())) + 2_i32) + 1_i32; let v4: bool = (v3) == 15_i32; - let v6: bool = if v4 { - true - } else { - Spiral_builder::method2(v4) - }; + let v6: bool = if v4 { true } else { Spiral::method2(v4) }; let v8: string = sprintf!( "{} / actual: {:?} / expected: {:?}", string("__assert_eq"), @@ -8534,20 +8530,20 @@

join_body

15_i32 ); let v13: () = { - Spiral_builder::closure0(v8.clone(), ()); + Spiral::closure0(v8.clone(), ()); () }; if (v6) == false { panic!("{}", v8,); } } - // on_startup!(Spiral_builder::method0()); + // on_startup!(Spiral::method0()); } } -pub use module_5170bee5::*; +pub use module_503290fb::*; pub fn main() -> Result<(), String> { - Ok(Spiral_builder::method0()) + Ok(Spiral::method0()) } .ts: @@ -8583,7 +8579,7 @@

join_body

-// spiral_builder.process_typescript +// spiral.process_typescript .py: from fable_modules.fable_library.string_ import (to_text, interpolate) @@ -8617,7 +8613,7 @@

join_body

-# spiral_builder.process_python +# spiral.process_python .py (Cuda): kernel = r""" @@ -8820,8 +8816,8 @@

join_body

#![allow(unused_parens)] #![allow(unused_variables)] #![allow(unused_assignments)] -mod module_84d7d073 { - pub mod Spiral_builder { +mod module_c1fa73ed { + pub mod Spiral { use super::*; use fable_library_rust::Native_::on_startup; use fable_library_rust::String_::printfn; @@ -8840,14 +8836,9 @@

join_body

printfn!("{0}", v0); } pub fn method0() { - let v4: i32 = - ((Spiral_builder::method2(Spiral_builder::method1(), 9_i32)) + 2_i32) + 1_i32; + let v4: i32 = ((Spiral::method2(Spiral::method1(), 9_i32)) + 2_i32) + 1_i32; let v5: bool = (v4) == 15_i32; - let v7: bool = if v5 { - true - } else { - Spiral_builder::method3(v5) - }; + let v7: bool = if v5 { true } else { Spiral::method3(v5) }; let v9: string = sprintf!( "{} / actual: {:?} / expected: {:?}", string("__assert_eq"), @@ -8855,20 +8846,20 @@

join_body

15_i32 ); let v14: () = { - Spiral_builder::closure0(v9.clone(), ()); + Spiral::closure0(v9.clone(), ()); () }; if (v7) == false { panic!("{}", v9,); } } - // on_startup!(Spiral_builder::method0()); + // on_startup!(Spiral::method0()); } } -pub use module_84d7d073::*; +pub use module_c1fa73ed::*; pub fn main() -> Result<(), String> { - Ok(Spiral_builder::method0()) + Ok(Spiral::method0()) } .ts: @@ -8908,7 +8899,7 @@

join_body

-// spiral_builder.process_typescript +// spiral.process_typescript .py: from fable_modules.fable_library.string_ import (to_text, interpolate) @@ -8946,7 +8937,7 @@

join_body

-# spiral_builder.process_python +# spiral.process_python .py (Cuda): kernel = r""" @@ -9183,8 +9174,8 @@

join_body_unitjoin_body_unitjoin_body_unitjoin_body_unitjoin_body_unit Result<(), String> {\n", - " Ok(Spiral_builder::method0())\n", + " Ok(Spiral::method0())\n", "}\n", "\n", ".ts:\n", @@ -986,7 +982,7 @@ "\n", "\n", "\n", - "// spiral_builder.process_typescript\n", + "// spiral.process_typescript\n", "\n", ".py:\n", "from fable_modules.fable_library.string_ import (to_text, interpolate)\n", @@ -1020,7 +1016,7 @@ "\n", "\n", "\n", - "# spiral_builder.process_python\n", + "# spiral.process_python\n", "\n", ".py (Cuda):\n", "kernel = r\"\"\"\n", @@ -1222,8 +1218,8 @@ "#![allow(unused_parens)]\n", "#![allow(unused_variables)]\n", "#![allow(unused_assignments)]\n", - "mod module_84d7d073 {\n", - " pub mod Spiral_builder {\n", + "mod module_c1fa73ed {\n", + " pub mod Spiral {\n", " use super::*;\n", " use fable_library_rust::Native_::on_startup;\n", " use fable_library_rust::String_::printfn;\n", @@ -1242,14 +1238,9 @@ " printfn!(\"{0}\", v0);\n", " }\n", " pub fn method0() {\n", - " let v4: i32 =\n", - " ((Spiral_builder::method2(Spiral_builder::method1(), 9_i32)) + 2_i32) + 1_i32;\n", + " let v4: i32 = ((Spiral::method2(Spiral::method1(), 9_i32)) + 2_i32) + 1_i32;\n", " let v5: bool = (v4) == 15_i32;\n", - " let v7: bool = if v5 {\n", - " true\n", - " } else {\n", - " Spiral_builder::method3(v5)\n", - " };\n", + " let v7: bool = if v5 { true } else { Spiral::method3(v5) };\n", " let v9: string = sprintf!(\n", " \"{} / actual: {:?} / expected: {:?}\",\n", " string(\"__assert_eq\"),\n", @@ -1257,20 +1248,20 @@ " 15_i32\n", " );\n", " let v14: () = {\n", - " Spiral_builder::closure0(v9.clone(), ());\n", + " Spiral::closure0(v9.clone(), ());\n", " ()\n", " };\n", " if (v7) == false {\n", " panic!(\"{}\", v9,);\n", " }\n", " }\n", - " // on_startup!(Spiral_builder::method0());\n", + " // on_startup!(Spiral::method0());\n", " }\n", "}\n", - "pub use module_84d7d073::*;\n", + "pub use module_c1fa73ed::*;\n", "\n", "pub fn main() -> Result<(), String> {\n", - " Ok(Spiral_builder::method0())\n", + " Ok(Spiral::method0())\n", "}\n", "\n", ".ts:\n", @@ -1310,7 +1301,7 @@ "\n", "\n", "\n", - "// spiral_builder.process_typescript\n", + "// spiral.process_typescript\n", "\n", ".py:\n", "from fable_modules.fable_library.string_ import (to_text, interpolate)\n", @@ -1348,7 +1339,7 @@ "\n", "\n", "\n", - "# spiral_builder.process_python\n", + "# spiral.process_python\n", "\n", ".py (Cuda):\n", "kernel = r\"\"\"\n", @@ -1582,8 +1573,8 @@ "#![allow(unused_parens)]\n", "#![allow(unused_variables)]\n", "#![allow(unused_assignments)]\n", - "mod module_e782e7b7 {\n", - " pub mod Spiral_builder {\n", + "mod module_74712c29 {\n", + " pub mod Spiral {\n", " use super::*;\n", " use fable_library_rust::Native_::on_startup;\n", " use fable_library_rust::String_::printfn;\n", @@ -1602,13 +1593,9 @@ " printfn!(\"{0}\", v0);\n", " }\n", " pub fn method0() {\n", - " let v3: i32 = ((Spiral_builder::method2(Spiral_builder::method1())) + 2_i32) + 1_i32;\n", + " let v3: i32 = ((Spiral::method2(Spiral::method1())) + 2_i32) + 1_i32;\n", " let v4: bool = (v3) == 15_i32;\n", - " let v6: bool = if v4 {\n", - " true\n", - " } else {\n", - " Spiral_builder::method3(v4)\n", - " };\n", + " let v6: bool = if v4 { true } else { Spiral::method3(v4) };\n", " let v8: string = sprintf!(\n", " \"{} / actual: {:?} / expected: {:?}\",\n", " string(\"__assert_eq\"),\n", @@ -1616,20 +1603,20 @@ " 15_i32\n", " );\n", " let v13: () = {\n", - " Spiral_builder::closure0(v8.clone(), ());\n", + " Spiral::closure0(v8.clone(), ());\n", " ()\n", " };\n", " if (v6) == false {\n", " panic!(\"{}\", v8,);\n", " }\n", " }\n", - " // on_startup!(Spiral_builder::method0());\n", + " // on_startup!(Spiral::method0());\n", " }\n", "}\n", - "pub use module_e782e7b7::*;\n", + "pub use module_74712c29::*;\n", "\n", "pub fn main() -> Result<(), String> {\n", - " Ok(Spiral_builder::method0())\n", + " Ok(Spiral::method0())\n", "}\n", "\n", ".ts:\n", @@ -1669,7 +1656,7 @@ "\n", "\n", "\n", - "// spiral_builder.process_typescript\n", + "// spiral.process_typescript\n", "\n", ".py:\n", "from fable_modules.fable_library.string_ import (to_text, interpolate)\n", @@ -1707,7 +1694,7 @@ "\n", "\n", "\n", - "# spiral_builder.process_python\n", + "# spiral.process_python\n", "\n", ".py (Cuda):\n", "kernel = r\"\"\"\n", diff --git a/lib/spiral/common.py b/lib/spiral/common.py index 7ecd1499..0e5dd923 100644 --- a/lib/spiral/common.py +++ b/lib/spiral/common.py @@ -23,7 +23,7 @@ def environ(self) -> Any: ... -def _expr0() -> TypeInfo: +def _expr15() -> TypeInfo: return class_type("Common.Disposable", None, Disposable) @@ -36,13 +36,13 @@ def Dispose(self, __unit: None=None) -> None: _.f(None) -Disposable_reflection = _expr0 +Disposable_reflection = _expr15 def Disposable__ctor_3A5B6456(f: Callable[[], None]) -> Disposable: return Disposable(f) -def _expr1() -> TypeInfo: +def _expr18() -> TypeInfo: return union_type("Common.US0", [], US0, lambda: [[], [], [], [], []]) @@ -58,9 +58,9 @@ def cases() -> list[str]: return ["US0_0", "US0_1", "US0_2", "US0_3", "US0_4"] -US0_reflection = _expr1 +US0_reflection = _expr18 -def _expr3() -> TypeInfo: +def _expr19() -> TypeInfo: return record_type("Common.Mut0", [], Mut0, lambda: [("l0", int64_type)]) @@ -68,9 +68,9 @@ def _expr3() -> TypeInfo: class Mut0(Record): l0: int64 -Mut0_reflection = _expr3 +Mut0_reflection = _expr19 -def _expr6() -> TypeInfo: +def _expr20() -> TypeInfo: return record_type("Common.Mut1", [], Mut1, lambda: [("l0", lambda_type(string_type, unit_type))]) @@ -78,9 +78,9 @@ def _expr6() -> TypeInfo: class Mut1(Record): l0: Callable[[str], None] -Mut1_reflection = _expr6 +Mut1_reflection = _expr20 -def _expr7() -> TypeInfo: +def _expr21() -> TypeInfo: return record_type("Common.Mut2", [], Mut2, lambda: [("l0", bool_type)]) @@ -88,9 +88,9 @@ def _expr7() -> TypeInfo: class Mut2(Record): l0: bool -Mut2_reflection = _expr7 +Mut2_reflection = _expr21 -def _expr8() -> TypeInfo: +def _expr22() -> TypeInfo: return record_type("Common.Mut3", [], Mut3, lambda: [("l0", string_type)]) @@ -98,9 +98,9 @@ def _expr8() -> TypeInfo: class Mut3(Record): l0: str -Mut3_reflection = _expr8 +Mut3_reflection = _expr22 -def _expr9() -> TypeInfo: +def _expr25() -> TypeInfo: return record_type("Common.Mut4", [], Mut4, lambda: [("l0", US0_reflection())]) @@ -108,9 +108,9 @@ def _expr9() -> TypeInfo: class Mut4(Record): l0: US0 -Mut4_reflection = _expr9 +Mut4_reflection = _expr25 -def _expr10() -> TypeInfo: +def _expr28() -> TypeInfo: return union_type("Common.US1", [], US1, lambda: [[("f0_0", US0_reflection())], []]) @@ -126,9 +126,9 @@ def cases() -> list[str]: return ["US1_0", "US1_1"] -US1_reflection = _expr10 +US1_reflection = _expr28 -def _expr11() -> TypeInfo: +def _expr29() -> TypeInfo: return union_type("Common.US2", [], US2, lambda: [[("f0_0", int64_type)], []]) @@ -144,9 +144,9 @@ def cases() -> list[str]: return ["US2_0", "US2_1"] -US2_reflection = _expr11 +US2_reflection = _expr29 -def _expr12() -> TypeInfo: +def _expr31() -> TypeInfo: return union_type("Common.US3", [], US3, lambda: [[], [], []]) @@ -162,9 +162,9 @@ def cases() -> list[str]: return ["US3_0", "US3_1", "US3_2"] -US3_reflection = _expr12 +US3_reflection = _expr31 -def _expr13() -> TypeInfo: +def _expr33() -> 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 = _expr13 +US4_reflection = _expr33 -def _expr14() -> TypeInfo: +def _expr34() -> 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 = _expr14 +US5_reflection = _expr34 -def _expr15() -> TypeInfo: +def _expr35() -> TypeInfo: return union_type("Common.US6", [], US6, lambda: [[], []]) @@ -216,9 +216,9 @@ def cases() -> list[str]: return ["US6_0", "US6_1"] -US6_reflection = _expr15 +US6_reflection = _expr35 -def _expr16() -> TypeInfo: +def _expr36() -> 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 = _expr16 +US7_reflection = _expr36 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 _arrow17(v: str) -> US5: + def _arrow37(v: str) -> US5: return closure1(None, v) - return _arrow17 + return _arrow37 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 ObjectExpr49(IDisposable): def Dispose(self, __unit: None=None, unit_var: Any=unit_var, v0_1: Any=v0_1) -> None: v10(None) - return ObjectExpr46() + return ObjectExpr49() def closure6(unit_var: None, v0_1: US6) -> US7: @@ -368,17 +368,17 @@ def method9(v0_1: US0) -> bool: return False else: - class ObjectExpr54: + class ObjectExpr62: @property def Compare(self) -> Callable[[US0, US0], int]: return compare - class ObjectExpr56: + class ObjectExpr65: @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)]), ObjectExpr54())) >= find(v35, of_seq(to_enumerable([(US0(0), 0), (US0(1), 1), (US0(2), 2), (US0(3), 3), (US0(4), 4)]), ObjectExpr56())) + return find(v0_1, of_seq(to_enumerable([(US0(0), 0), (US0(1), 1), (US0(2), 2), (US0(3), 3), (US0(4), 4)]), ObjectExpr62())) >= find(v35, of_seq(to_enumerable([(US0(0), 0), (US0(1), 1), (US0(2), 2), (US0(3), 3), (US0(4), 4)]), ObjectExpr65())) @@ -387,10 +387,10 @@ def closure10(unit_var: None, v0_1: int64) -> US2: def method11(__unit: None=None) -> Callable[[int64], US2]: - def _arrow58(v: int64) -> US2: + def _arrow67(v: int64) -> US2: return closure10(None, v) - return _arrow58 + return _arrow67 def method12(__unit: None=None) -> str: diff --git a/lib/spiral/runtime.py b/lib/spiral/runtime.py index 401a0d5a..14d405de 100644 --- a/lib/spiral/runtime.py +++ b/lib/spiral/runtime.py @@ -29,7 +29,7 @@ def environ(self) -> Any: ... -def _expr191() -> TypeInfo: +def _expr190() -> TypeInfo: return union_type("Runtime.US0", [], US0, lambda: [[], [], [], [], []]) @@ -45,9 +45,9 @@ def cases() -> list[str]: return ["US0_0", "US0_1", "US0_2", "US0_3", "US0_4"] -US0_reflection = _expr191 +US0_reflection = _expr190 -def _expr192() -> TypeInfo: +def _expr191() -> TypeInfo: return record_type("Runtime.Mut0", [], Mut0, lambda: [("l0", int64_type)]) @@ -55,9 +55,9 @@ def _expr192() -> TypeInfo: class Mut0(Record): l0: int64 -Mut0_reflection = _expr192 +Mut0_reflection = _expr191 -def _expr193() -> TypeInfo: +def _expr192() -> TypeInfo: return record_type("Runtime.Mut1", [], Mut1, lambda: [("l0", lambda_type(string_type, unit_type))]) @@ -65,9 +65,9 @@ def _expr193() -> TypeInfo: class Mut1(Record): l0: Callable[[str], None] -Mut1_reflection = _expr193 +Mut1_reflection = _expr192 -def _expr194() -> TypeInfo: +def _expr193() -> TypeInfo: return record_type("Runtime.Mut2", [], Mut2, lambda: [("l0", bool_type)]) @@ -75,9 +75,9 @@ def _expr194() -> TypeInfo: class Mut2(Record): l0: bool -Mut2_reflection = _expr194 +Mut2_reflection = _expr193 -def _expr195() -> TypeInfo: +def _expr194() -> TypeInfo: return record_type("Runtime.Mut3", [], Mut3, lambda: [("l0", string_type)]) @@ -85,9 +85,9 @@ def _expr195() -> TypeInfo: class Mut3(Record): l0: str -Mut3_reflection = _expr195 +Mut3_reflection = _expr194 -def _expr196() -> TypeInfo: +def _expr195() -> TypeInfo: return record_type("Runtime.Mut4", [], Mut4, lambda: [("l0", US0_reflection())]) @@ -95,9 +95,9 @@ def _expr196() -> TypeInfo: class Mut4(Record): l0: US0 -Mut4_reflection = _expr196 +Mut4_reflection = _expr195 -def _expr197() -> TypeInfo: +def _expr196() -> TypeInfo: return union_type("Runtime.US1", [], US1, lambda: [[("f0_0", US0_reflection())], []]) @@ -113,9 +113,9 @@ def cases() -> list[str]: return ["US1_0", "US1_1"] -US1_reflection = _expr197 +US1_reflection = _expr196 -def _expr198() -> TypeInfo: +def _expr197() -> TypeInfo: return union_type("Runtime.US2", [], US2, lambda: [[("f0_0", int64_type)], []]) @@ -131,9 +131,9 @@ def cases() -> list[str]: return ["US2_0", "US2_1"] -US2_reflection = _expr198 +US2_reflection = _expr197 -def _expr199() -> TypeInfo: +def _expr198() -> TypeInfo: return union_type("Runtime.US3", [], US3, lambda: [[], [], []]) @@ -149,9 +149,9 @@ def cases() -> list[str]: return ["US3_0", "US3_1", "US3_2"] -US3_reflection = _expr199 +US3_reflection = _expr198 -def _expr200() -> TypeInfo: +def _expr199() -> TypeInfo: return union_type("Runtime.US4", [], US4, lambda: [[("f0_0", US3_reflection())], [("f1_0", US3_reflection())], [("f2_0", US3_reflection())], [("f3_0", US3_reflection())], [("f4_0", US3_reflection())]]) @@ -167,9 +167,9 @@ def cases() -> list[str]: return ["US4_0", "US4_1", "US4_2", "US4_3", "US4_4"] -US4_reflection = _expr200 +US4_reflection = _expr199 -def _expr201() -> TypeInfo: +def _expr200() -> TypeInfo: return union_type("Runtime.US5", [], US5, lambda: [[("f0_0", string_type)], []]) @@ -185,9 +185,9 @@ def cases() -> list[str]: return ["US5_0", "US5_1"] -US5_reflection = _expr201 +US5_reflection = _expr200 -def _expr202() -> TypeInfo: +def _expr201() -> TypeInfo: return union_type("Runtime.US6", [], US6, lambda: [[("f0_0", string_type), ("f0_1", US5_reflection())], [("f1_0", string_type)]]) @@ -203,9 +203,9 @@ def cases() -> list[str]: return ["US6_0", "US6_1"] -US6_reflection = _expr202 +US6_reflection = _expr201 -def _expr203() -> TypeInfo: +def _expr202() -> TypeInfo: return union_type("Runtime.US7", [], US7, lambda: [[("f0_0", char_type), ("f0_1", string_type), ("f0_2", class_type("System.Text.StringBuilder")), ("f0_3", int32_type), ("f0_4", int32_type)], [("f1_0", string_type)]]) @@ -221,9 +221,9 @@ def cases() -> list[str]: return ["US7_0", "US7_1"] -US7_reflection = _expr203 +US7_reflection = _expr202 -def _expr204() -> TypeInfo: +def _expr203() -> TypeInfo: return record_type("Runtime.Mut5", [], Mut5, lambda: [("l0", int32_type)]) @@ -231,9 +231,9 @@ def _expr204() -> TypeInfo: class Mut5(Record): l0: int -Mut5_reflection = _expr204 +Mut5_reflection = _expr203 -def _expr205() -> TypeInfo: +def _expr204() -> TypeInfo: return union_type("Runtime.UH0", [], UH0, lambda: [[], [("Item1", char_type), ("Item2", UH0_reflection())]]) @@ -248,9 +248,9 @@ def cases() -> list[str]: return ["UH0_0", "UH0_1"] -UH0_reflection = _expr205 +UH0_reflection = _expr204 -def _expr206() -> TypeInfo: +def _expr205() -> TypeInfo: return union_type("Runtime.UH1", [], UH1, lambda: [[], [("Item1", lambda_type(tuple_type(string_type, class_type("System.Text.StringBuilder"), int32_type, int32_type), US7_reflection())), ("Item2", UH1_reflection())]]) @@ -265,9 +265,9 @@ def cases() -> list[str]: return ["UH1_0", "UH1_1"] -UH1_reflection = _expr206 +UH1_reflection = _expr205 -def _expr207() -> TypeInfo: +def _expr206() -> TypeInfo: return union_type("Runtime.US8", [], US8, lambda: [[("f0_0", string_type), ("f0_1", string_type), ("f0_2", class_type("System.Text.StringBuilder")), ("f0_3", int32_type), ("f0_4", int32_type)], [("f1_0", string_type)]]) @@ -283,9 +283,9 @@ def cases() -> list[str]: return ["US8_0", "US8_1"] -US8_reflection = _expr207 +US8_reflection = _expr206 -def _expr208() -> TypeInfo: +def _expr207() -> TypeInfo: return union_type("Runtime.US9", [], US9, lambda: [[("f0_0", char_type)], []]) @@ -301,9 +301,9 @@ def cases() -> list[str]: return ["US9_0", "US9_1"] -US9_reflection = _expr208 +US9_reflection = _expr207 -def _expr209() -> TypeInfo: +def _expr208() -> TypeInfo: return union_type("Runtime.US10", [], US10, lambda: [[("f0_0", string_type), ("f0_1", class_type("System.Text.StringBuilder")), ("f0_2", int32_type), ("f0_3", int32_type)], [("f1_0", string_type)]]) @@ -319,9 +319,9 @@ def cases() -> list[str]: return ["US10_0", "US10_1"] -US10_reflection = _expr209 +US10_reflection = _expr208 -def _expr210() -> TypeInfo: +def _expr209() -> TypeInfo: return union_type("Runtime.US11", [], US11, lambda: [[("f0_0", string_type), ("f0_1", US5_reflection()), ("f0_2", string_type), ("f0_3", class_type("System.Text.StringBuilder")), ("f0_4", int32_type), ("f0_5", int32_type)], [("f1_0", string_type)]]) @@ -337,9 +337,9 @@ def cases() -> list[str]: return ["US11_0", "US11_1"] -US11_reflection = _expr210 +US11_reflection = _expr209 -def _expr211() -> TypeInfo: +def _expr210() -> TypeInfo: return union_type("Runtime.US12", [], US12, lambda: [[("f0_0", US9_reflection()), ("f0_1", string_type), ("f0_2", class_type("System.Text.StringBuilder")), ("f0_3", int32_type), ("f0_4", int32_type)], [("f1_0", string_type)]]) @@ -355,9 +355,9 @@ def cases() -> list[str]: return ["US12_0", "US12_1"] -US12_reflection = _expr211 +US12_reflection = _expr210 -def _expr212() -> TypeInfo: +def _expr211() -> TypeInfo: return union_type("Runtime.US13", [], US13, lambda: [[("f0_0", US5_reflection()), ("f0_1", string_type), ("f0_2", class_type("System.Text.StringBuilder")), ("f0_3", int32_type), ("f0_4", int32_type)], [("f1_0", string_type)]]) @@ -373,9 +373,9 @@ def cases() -> list[str]: return ["US13_0", "US13_1"] -US13_reflection = _expr212 +US13_reflection = _expr211 -def _expr213() -> TypeInfo: +def _expr212() -> TypeInfo: return union_type("Runtime.US14", [], US14, lambda: [[("f0_0", lambda_type(tuple_type(int32_type, string_type, bool_type), class_type("Microsoft.FSharp.Control.FSharpAsync`1", [unit_type])))], []]) @@ -391,9 +391,9 @@ def cases() -> list[str]: return ["US14_0", "US14_1"] -US14_reflection = _expr213 +US14_reflection = _expr212 -def _expr214() -> TypeInfo: +def _expr213() -> TypeInfo: return union_type("Runtime.US15", [], US15, lambda: [[("f0_0", class_type("System.Threading.CancellationToken"))], []]) @@ -409,9 +409,9 @@ def cases() -> list[str]: return ["US15_0", "US15_1"] -US15_reflection = _expr214 +US15_reflection = _expr213 -def _expr215() -> TypeInfo: +def _expr214() -> TypeInfo: return record_type("Runtime.Heap0", [], Heap0, lambda: [("l0", string_type), ("l1", option_type(class_type("System.Threading.CancellationToken"))), ("l2", array_type(tuple_type(string_type, string_type))), ("l3", option_type(lambda_type(tuple_type(int32_type, string_type, bool_type), class_type("Microsoft.FSharp.Control.FSharpAsync`1", [unit_type])))), ("l4", option_type(lambda_type(class_type("Runtime.std_sync_Arc`1", [class_type("Runtime.std_sync_Mutex`1", [class_type("Runtime.std_process_ChildStdin")])]), unit_type))), ("l5", bool_type), ("l6", option_type(string_type))]) @@ -425,9 +425,9 @@ class Heap0(Record): l5: bool l6: str | None -Heap0_reflection = _expr215 +Heap0_reflection = _expr214 -def _expr216() -> TypeInfo: +def _expr215() -> TypeInfo: return union_type("Runtime.US16", [], US16, lambda: [[("f0_0", array_type(string_type))], [("f1_0", string_type)]]) @@ -443,9 +443,9 @@ def cases() -> list[str]: return ["US16_0", "US16_1"] -US16_reflection = _expr216 +US16_reflection = _expr215 -def _expr217() -> TypeInfo: +def _expr216() -> TypeInfo: return union_type("Runtime.UH2", [], UH2, lambda: [[], [("Item1", string_type), ("Item2", UH2_reflection())]]) @@ -460,9 +460,9 @@ def cases() -> list[str]: return ["UH2_0", "UH2_1"] -UH2_reflection = _expr217 +UH2_reflection = _expr216 -def _expr218() -> TypeInfo: +def _expr217() -> TypeInfo: return union_type("Runtime.US17", [], US17, lambda: [[("f0_0", UH2_reflection()), ("f0_1", string_type), ("f0_2", class_type("System.Text.StringBuilder")), ("f0_3", int32_type), ("f0_4", int32_type)], [("f1_0", string_type)]]) @@ -478,9 +478,9 @@ def cases() -> list[str]: return ["US17_0", "US17_1"] -US17_reflection = _expr218 +US17_reflection = _expr217 -def _expr219() -> TypeInfo: +def _expr218() -> TypeInfo: return union_type("Runtime.UH3", [], UH3, lambda: [[], [("Item1", lambda_type(tuple_type(string_type, class_type("System.Text.StringBuilder"), int32_type, int32_type), US8_reflection())), ("Item2", UH3_reflection())]]) @@ -495,7 +495,7 @@ def cases() -> list[str]: return ["UH3_0", "UH3_1"] -UH3_reflection = _expr219 +UH3_reflection = _expr218 def method3(v0_1: str) -> str: return v0_1 @@ -510,10 +510,10 @@ def closure1(unit_var: None, v0_1: str) -> US5: def method5(__unit: None=None) -> Callable[[str], US5]: - def _arrow220(v: str) -> US5: + def _arrow219(v: str) -> US5: return closure1(None, v) - return _arrow220 + return _arrow219 def method2(v0_1: str) -> str: @@ -541,7 +541,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 _arrow221(__unit: None=None) -> US1: + def _arrow220(__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]) @@ -563,7 +563,7 @@ def _arrow221(__unit: None=None) -> US1: - return (US1(0, v6.fields[0]) if (v6.tag == 0) else _arrow221(), 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 _arrow220(), US2(1) if (method2("AUTOMATION") != "True") else US2(0, from_value(ticks_1(now()), False))) def closure2(unit_var: None, v0_1: str) -> None: @@ -1604,10 +1604,10 @@ def closure21(unit_var: None, v0_1: Callable[[tuple[int, str, bool]], Async[None def method46(__unit: None=None) -> Callable[[Callable[[tuple[int, str, bool]], Async[None]]], US14]: - def _arrow245(v: Callable[[tuple[int, str, bool]], Async[None]]) -> US14: + def _arrow233(v: Callable[[tuple[int, str, bool]], Async[None]]) -> US14: return closure21(None, v) - return _arrow245 + return _arrow233 def method47(v0_1: None) -> int: @@ -1641,49 +1641,49 @@ def closure22(v0_1: str, unit_var: None) -> None: def method44(v0_1: str, v1_1: CancellationToken | None, v2_1: Array[tuple[str, str]], v3: Callable[[tuple[int, str, bool]], Async[None]] | None, v4: Callable[[std_sync_arc_1[std_sync_mutex_1[std_process_child_stdin]]], None] | None, v5: bool, v6: str | None, v7: None, v8: Any, v9: bool, v10: None) -> Async[None]: - def _arrow259(__unit: None=None, v0_1: Any=v0_1, v1_1: Any=v1_1, v2_1: Any=v2_1, v3: Any=v3, v4: Any=v4, v5: Any=v5, v6: Any=v6, v7: Any=v7, v8: Any=v8, v9: Any=v9, v10: Any=v10) -> Async[None]: + def _arrow243(__unit: None=None, v0_1: Any=v0_1, v1_1: Any=v1_1, v2_1: Any=v2_1, v3: Any=v3, v4: Any=v4, v5: Any=v5, v6: Any=v6, v7: Any=v7, v8: Any=v8, v9: Any=v9, v10: Any=v10) -> Async[None]: v724: str = method45(v10) v729: bool = (v724 is None) != True - def _arrow257(__unit: None=None) -> Async[None]: + def _arrow241(__unit: None=None) -> Async[None]: v743: US14 = default_arg(map(method46(), v3), US14(1)) - def _arrow251(__unit: None=None) -> Async[None]: + def _arrow235(__unit: None=None) -> Async[None]: v749: Async[None] = v743.fields[0]((method47(v7), v724, v9)) - def _arrow250(__unit: None=None) -> Async[None]: + def _arrow234(__unit: None=None) -> Async[None]: return singleton.Zero() - return singleton.Bind(v749, _arrow250) + return singleton.Bind(v749, _arrow234) - def _expr252(): + def _expr236(): return singleton.Zero() - def _arrow256(__unit: None=None) -> Async[None]: + def _arrow240(__unit: None=None) -> Async[None]: v752: str = concat("! ", *v724) if v9 else concat("> ", *v724) - def _arrow253(__unit: None=None) -> Async[None]: + def _arrow237(__unit: None=None) -> Async[None]: v755: None closure22(v752, None) v755 = None return singleton.Zero() - def _arrow254(__unit: None=None) -> Async[None]: + def _arrow238(__unit: None=None) -> Async[None]: v800: None closure10(v752, None) v800 = None return singleton.Zero() - def _arrow255(__unit: None=None) -> Async[None]: + def _arrow239(__unit: None=None) -> Async[None]: v808: str = concat("\u001b[7;4m" if v9 else "", v724, *"\u001b[0m" if v9 else "") return singleton.Zero() - return singleton.Combine(_arrow253() if v5 else _arrow254(), singleton.Delay(_arrow255)) + return singleton.Combine(_arrow237() if v5 else _arrow238(), singleton.Delay(_arrow239)) - return singleton.Combine(_arrow251() if (v743.tag == 0) else _expr252(), singleton.Delay(_arrow256)) + return singleton.Combine(_arrow235() if (v743.tag == 0) else _expr236(), singleton.Delay(_arrow240)) - def _arrow258(__unit: None=None) -> Async[None]: + def _arrow242(__unit: None=None) -> Async[None]: return singleton.Zero() - return singleton.Combine(_arrow257() if v729 else singleton.Zero(), singleton.Delay(_arrow258)) + return singleton.Combine(_arrow241() if v729 else singleton.Zero(), singleton.Delay(_arrow242)) - return singleton.Delay(_arrow259) + return singleton.Delay(_arrow243) def method43(v0_1: str, v1_1: CancellationToken | None, v2_1: Array[tuple[str, str]], v3: Callable[[tuple[int, str, bool]], Async[None]] | None, v4: Callable[[std_sync_arc_1[std_sync_mutex_1[std_process_child_stdin]]], None] | None, v5: bool, v6: str | None, v7: None, v8: Any, v9: bool, v10: None) -> Async[None]: @@ -1699,17 +1699,17 @@ def closure23(unit_var: None, v0_1: CancellationToken) -> US15: def method50(__unit: None=None) -> Callable[[CancellationToken], US15]: - def _arrow265(v: CancellationToken) -> US15: + def _arrow244(v: CancellationToken) -> US15: return closure23(None, v) - return _arrow265 + return _arrow244 def method51(v0_1: CancellationToken) -> Async[CancellationToken]: - def _arrow266(__unit: None=None, v0_1: Any=v0_1) -> Async[CancellationToken]: + def _arrow245(__unit: None=None, v0_1: Any=v0_1) -> Async[CancellationToken]: return singleton.Return(None) - return singleton.Delay(_arrow266) + return singleton.Delay(_arrow245) def method52(v0_1: None) -> bool: @@ -1768,15 +1768,15 @@ def closure25(v0_1: Any, unit_var: None) -> None: def method54(v0_1: None, v1_1: Any, v2_1: CancellationToken) -> Async[int]: - def _arrow270(__unit: None=None, v0_1: Any=v0_1, v1_1: Any=v1_1, v2_1: Any=v2_1) -> Async[int]: - def _arrow268(__unit: None=None) -> Async[int]: + def _arrow249(__unit: None=None, v0_1: Any=v0_1, v1_1: Any=v1_1, v2_1: Any=v2_1) -> Async[int]: + def _arrow247(__unit: None=None) -> Async[int]: v2394: Async[None] = await_task(None) - def _arrow267(__unit: None=None) -> Async[int]: + def _arrow246(__unit: None=None) -> Async[int]: return singleton.Return(None) - return singleton.Bind(v2394, _arrow267) + return singleton.Bind(v2394, _arrow246) - def _arrow269(_arg_1: Exception) -> Async[int]: + def _arrow248(_arg_1: Exception) -> Async[int]: v2502: Exception = _arg_1 v2516: str = to_text(interpolate("%A%P()", [v2502])) v2535: None @@ -1784,9 +1784,9 @@ def _arrow269(_arg_1: Exception) -> Async[int]: v2535 = None return singleton.Return(-2147483648) - return singleton.TryWith(singleton.Delay(_arrow268), _arrow269) + return singleton.TryWith(singleton.Delay(_arrow247), _arrow248) - return singleton.Delay(_arrow270) + return singleton.Delay(_arrow249) def method57(__unit: None=None) -> str: @@ -1847,11 +1847,11 @@ def closure26(v0_1: int, v1_1: str, unit_var: None) -> None: def method24(v0_1: str, v1_1: CancellationToken | None, v2_1: Array[tuple[str, str]], v3: Callable[[tuple[int, str, bool]], Async[None]] | None, v4: Callable[[std_sync_arc_1[std_sync_mutex_1[std_process_child_stdin]]], None] | None, v5: bool, v6: str | None=None) -> Async[tuple[int, str]]: - def _arrow271(__unit: None=None, v0_1: Any=v0_1, v1_1: Any=v1_1, v2_1: Any=v2_1, v3: Any=v3, v4: Any=v4, v5: Any=v5, v6: Any=v6) -> Async[tuple[int, str]]: + def _arrow250(__unit: None=None, v0_1: Any=v0_1, v1_1: Any=v1_1, v2_1: Any=v2_1, v3: Any=v3, v4: Any=v4, v5: Any=v5, v6: Any=v6) -> Async[tuple[int, str]]: pattern_input: tuple[int, str] = None return singleton.Return((pattern_input[0], pattern_input[1])) - return singleton.Delay(_arrow271) + return singleton.Delay(_arrow250) def method23(v0_1: str, v1_1: CancellationToken | None, v2_1: Array[tuple[str, str]], v3: Callable[[tuple[int, str, bool]], Async[None]] | None, v4: Callable[[std_sync_arc_1[std_sync_mutex_1[std_process_child_stdin]]], None] | None, v5: bool, v6: str | None=None) -> Async[tuple[int, str]]: @@ -1908,10 +1908,10 @@ def method62(v0_1_mut: str, v1_1_mut: int64) -> bool: - def _arrow272(__unit: None=None, v0_1: Any=v0_1, v1_1: Any=v1_1) -> str: + def _arrow251(__unit: None=None, v0_1: Any=v0_1, v1_1: Any=v1_1) -> str: raise Exception("Option does not have a value.") - if v0_1 == (v19_1.fields[0] if (v19_1.tag == 0) else _arrow272()): + if v0_1 == (v19_1.fields[0] if (v19_1.tag == 0) else _arrow251()): return True else: @@ -1994,10 +1994,10 @@ def method65(v0_1_mut: str, v1_1_mut: int64) -> bool: - def _arrow273(__unit: None=None, v0_1: Any=v0_1, v1_1: Any=v1_1) -> str: + def _arrow252(__unit: None=None, v0_1: Any=v0_1, v1_1: Any=v1_1) -> str: raise Exception("Option does not have a value.") - if v0_1 == (v15.fields[0] if (v15.tag == 0) else _arrow273()): + if v0_1 == (v15.fields[0] if (v15.tag == 0) else _arrow252()): return True else: @@ -2381,10 +2381,10 @@ def method61(v0_1_mut: UH2, v1_1_mut: str, v2_1_mut: Any, v3_mut: int, v4_mut: i v302: US8 if v275.tag == 0: v282: FSharpList[str] = method68(v275.fields[0], empty()) - def _arrow274(__unit: None=None, v0_1: Any=v0_1, v1_1: Any=v1_1, v2_1: Any=v2_1, v3: Any=v3, v4: Any=v4) -> IEnumerable_1[str]: + def _arrow253(__unit: None=None, v0_1: Any=v0_1, v1_1: Any=v1_1, v2_1: Any=v2_1, v3: Any=v3, v4: Any=v4) -> IEnumerable_1[str]: return v282 - v302 = US8(0, join("", delay(_arrow274)), v275.fields[1], v275.fields[2], v275.fields[3], v275.fields[4]) + v302 = US8(0, join("", delay(_arrow253)), v275.fields[1], v275.fields[2], v275.fields[3], v275.fields[4]) else: v302 = US8(1, v275.fields[0]) @@ -2447,10 +2447,10 @@ def v460(_arg10_1: tuple[str, Any, int, int], v0_1: Any=v0_1, v1_1: Any=v1_1, v2 v486: US17 = method69(UH2(0), v475.fields[1], v475.fields[2], v475.fields[3], v475.fields[4]) if (v475.tag == 0) else US17(1, v475.fields[0]) if v486.tag == 0: v493: FSharpList[str] = method68(v486.fields[0], empty()) - def _arrow275(__unit: None=None, v0_1: Any=v0_1, v1_1: Any=v1_1, v2_1: Any=v2_1, v3: Any=v3, v4: Any=v4) -> IEnumerable_1[str]: + def _arrow254(__unit: None=None, v0_1: Any=v0_1, v1_1: Any=v1_1, v2_1: Any=v2_1, v3: Any=v3, v4: Any=v4) -> IEnumerable_1[str]: return v493 - v517 = US8(0, join("", delay(_arrow275)), v486.fields[1], v486.fields[2], v486.fields[3], v486.fields[4]) + v517 = US8(0, join("", delay(_arrow254)), v486.fields[1], v486.fields[2], v486.fields[3], v486.fields[4]) else: v517 = US8(1, v486.fields[0]) @@ -2493,10 +2493,10 @@ def _arrow275(__unit: None=None, v0_1: Any=v0_1, v1_1: Any=v1_1, v2_1: Any=v2_1, def method60(v0_1: str) -> US16: _v0: (str | None) | None = None _v0 = some(v0_1) - def _arrow276(__unit: None=None, v0_1: Any=v0_1) -> str | None: + def _arrow255(__unit: None=None, v0_1: Any=v0_1) -> str | None: raise Exception("optionm\'.of_obj / _v0=None") - v18_1: US17 = method61(UH2(0), default_arg(_arrow276() if (_v0 is None) else value_12(_v0), ""), StringBuilder__ctor_Z721C83C5(method26()), 1, 1) + v18_1: US17 = method61(UH2(0), default_arg(_arrow255() if (_v0 is None) else value_12(_v0), ""), StringBuilder__ctor_Z721C83C5(method26()), 1, 1) if v18_1.tag == 0: return US16(0, to_array(method68(v18_1.fields[0], empty()))) @@ -2517,64 +2517,64 @@ def closure29(unit_var: None, v0_1: str) -> FSharpResult_2[Array[str], str]: v0: None = None -def _arrow277(__unit: None=None) -> None: +def _arrow256(__unit: None=None) -> None: closure0(None, None) -v1: Callable[[], None] = _arrow277 +v1: Callable[[], None] = _arrow256 -def _expr278(): +def _expr257(): v1(None) return v0 -v2: None = _expr278() +v2: None = _expr257() -def _arrow279(__unit: None=None) -> None: +def _arrow258(__unit: None=None) -> None: closure3(None, None) -v16: Callable[[], None] = _arrow279 +v16: Callable[[], None] = _arrow258 def current_process_kill(__unit: None=None) -> None: v16(None) -def _arrow280(v: str) -> Async[tuple[int, str]]: +def _arrow259(v: str) -> Async[tuple[int, str]]: return closure13(None, v) -v17: Callable[[str], Async[tuple[int, str]]] = _arrow280 +v17: Callable[[str], Async[tuple[int, str]]] = _arrow259 def execute_async(x: str) -> Async[tuple[int, str]]: return v17(x) -def _arrow281(_arg10: tuple[str, CancellationToken | None, Array[tuple[str, str]], Callable[[tuple[int, str, bool]], Async[None]] | None, Callable[[std_sync_arc_1[std_sync_mutex_1[std_process_child_stdin]]], None] | None, bool, str | None]) -> Async[tuple[int, str]]: +def _arrow260(_arg10: tuple[str, CancellationToken | None, Array[tuple[str, str]], Callable[[tuple[int, str, bool]], Async[None]] | None, Callable[[std_sync_arc_1[std_sync_mutex_1[std_process_child_stdin]]], None] | None, bool, str | None]) -> Async[tuple[int, str]]: return closure27(None, _arg10) -v18: Callable[[tuple[str, CancellationToken | None, Array[tuple[str, str]], Callable[[tuple[int, str, bool]], Async[None]] | None, Callable[[std_sync_arc_1[std_sync_mutex_1[std_process_child_stdin]]], None] | None, bool, str | None]], Async[tuple[int, str]]] = _arrow281 +v18: Callable[[tuple[str, CancellationToken | None, Array[tuple[str, str]], Callable[[tuple[int, str, bool]], Async[None]] | None, Callable[[std_sync_arc_1[std_sync_mutex_1[std_process_child_stdin]]], None] | None, bool, str | None]], Async[tuple[int, str]]] = _arrow260 def execute_with_options_async(x: tuple[str, CancellationToken | None, Array[tuple[str, str]], Callable[[tuple[int, str, bool]], Async[None]] | None, Callable[[std_sync_arc_1[std_sync_mutex_1[std_process_child_stdin]]], None] | None, bool, str | None]) -> Async[tuple[int, str]]: return v18(x) -def _arrow282(v: Callable[[Heap0], Heap0]) -> tuple[str, CancellationToken | None, Array[tuple[str, str]], Callable[[tuple[int, str, bool]], Async[None]] | None, Callable[[std_sync_arc_1[std_sync_mutex_1[std_process_child_stdin]]], None] | None, bool, str | None]: +def _arrow267(v: Callable[[Heap0], Heap0]) -> tuple[str, CancellationToken | None, Array[tuple[str, str]], Callable[[tuple[int, str, bool]], Async[None]] | None, Callable[[std_sync_arc_1[std_sync_mutex_1[std_process_child_stdin]]], None] | None, bool, str | None]: return closure28(None, v) -v19: Callable[[Callable[[Heap0], Heap0]], tuple[str, CancellationToken | None, Array[tuple[str, str]], Callable[[tuple[int, str, bool]], Async[None]] | None, Callable[[std_sync_arc_1[std_sync_mutex_1[std_process_child_stdin]]], None] | None, bool, str | None]] = _arrow282 +v19: Callable[[Callable[[Heap0], Heap0]], tuple[str, CancellationToken | None, Array[tuple[str, str]], Callable[[tuple[int, str, bool]], Async[None]] | None, Callable[[std_sync_arc_1[std_sync_mutex_1[std_process_child_stdin]]], None] | None, bool, str | None]] = _arrow267 def execution_options(x: Callable[[Heap0], Heap0]) -> tuple[str, CancellationToken | None, Array[tuple[str, str]], Callable[[tuple[int, str, bool]], Async[None]] | None, Callable[[std_sync_arc_1[std_sync_mutex_1[std_process_child_stdin]]], None] | None, bool, str | None]: return v19(x) -def _arrow283(v: str) -> FSharpResult_2[Array[str], str]: +def _arrow269(v: str) -> FSharpResult_2[Array[str], str]: return closure29(None, v) -v20: Callable[[str], FSharpResult_2[Array[str], str]] = _arrow283 +v20: Callable[[str], FSharpResult_2[Array[str], str]] = _arrow269 def split_args(x: str) -> FSharpResult_2[Array[str], str]: return v20(x) diff --git a/lib/spiral/sm'.dib.html b/lib/spiral/sm'.dib.html index 75f9a1ac..e92f064e 100644 --- a/lib/spiral/sm'.dib.html +++ b/lib/spiral/sm'.dib.html @@ -8789,9 +8789,9 @@

concat_array¶ } pub use module_de117a1e::*; - - -pub fn main() -> Result<(), String> { Ok(Spiral::method0()) } +pub fn main() -> Result<(), String> { + Ok(Spiral::method0()) +} .ts: import { Record } from "./fable_modules/fable-library-ts.5.0.0-alpha.2/Types.js"; @@ -8861,6 +8861,9 @@

concat_array¶ method0(); + +// spiral.process_typescript + .py: from __future__ import annotations from fable_modules.fable_library.int32 import op_unary_negation_int32 @@ -8924,6 +8927,9 @@

concat_array¶ method0() + +# spiral.process_python + .fsx output: __assert_eq / actual: "1 2 @@ -9123,9 +9129,9 @@

concat_listconcat_listconcat_listconcat_list_interpolationconcat_list_interpolationconcat_list_interpolation Result<(), String> { Ok(Spiral::method0()) }\n", + "pub fn main() -> Result<(), String> {\n", + " Ok(Spiral::method0())\n", + "}\n", "\n", ".ts:\n", "import { Record } from \"./fable_modules/fable-library-ts.5.0.0-alpha.2/Types.js\";\n", @@ -1276,6 +1276,9 @@ "method0();\n", "\n", "\n", + "\n", + "// spiral.process_typescript\n", + "\n", ".py:\n", "from __future__ import annotations\n", "from fable_modules.fable_library.int32 import op_unary_negation_int32\n", @@ -1339,6 +1342,9 @@ "method0()\n", "\n", "\n", + "\n", + "# spiral.process_python\n", + "\n", ".fsx output:\n", "__assert_eq / actual: \"1\n", "2\n", @@ -1535,9 +1541,9 @@ "}\n", "pub use module_fa23a5e2::*;\n", "\n", - "\n", - "\n", - "pub fn main() -> Result<(), String> { Ok(Spiral::method0()) }\n", + "pub fn main() -> Result<(), String> {\n", + " Ok(Spiral::method0())\n", + "}\n", "\n", ".ts:\n", "import { interpolate, toText } from \"./fable_modules/fable-library-ts.5.0.0-alpha.2/String.js\";\n", @@ -1566,6 +1572,9 @@ "method0();\n", "\n", "\n", + "\n", + "// spiral.process_typescript\n", + "\n", ".py:\n", "from fable_modules.fable_library.string_ import (to_text, interpolate)\n", "\n", @@ -1593,6 +1602,9 @@ "method0()\n", "\n", "\n", + "\n", + "# spiral.process_python\n", + "\n", ".py (Cuda):\n", "kernel = r\"\"\"\n", "\"\"\"\n", @@ -1902,9 +1914,9 @@ "}\n", "pub use module_5bddefcc::*;\n", "\n", - "\n", - "\n", - "pub fn main() -> Result<(), String> { Ok(Spiral::method0()) }\n", + "pub fn main() -> Result<(), String> {\n", + " Ok(Spiral::method0())\n", + "}\n", "\n", ".ts:\n", "import { interpolate, toText, concat } from \"./fable_modules/fable-library-ts.5.0.0-alpha.2/String.js\";\n", @@ -1933,6 +1945,9 @@ "method0();\n", "\n", "\n", + "\n", + "// spiral.process_typescript\n", + "\n", ".py:\n", "from fable_modules.fable_library.string_ import (concat, to_text, interpolate)\n", "\n", @@ -1960,6 +1975,9 @@ "method0()\n", "\n", "\n", + "\n", + "# spiral.process_python\n", + "\n", ".py (Cuda):\n", "kernel = r\"\"\"\n", "\"\"\"\n", diff --git a/lib/spiral/sm.py b/lib/spiral/sm.py index 616c6d27..fd75c852 100644 --- a/lib/spiral/sm.py +++ b/lib/spiral/sm.py @@ -14,7 +14,7 @@ from fable_modules.fable_library.types import (Array, Union, Record, int64) from fable_modules.fable_library.util import (IEnumerable_1, uncurry2) -def _expr2() -> TypeInfo: +def _expr0() -> TypeInfo: return union_type("Sm.UH0", [], UH0, lambda: [[], [("Item1", char_type), ("Item2", UH0_reflection())]]) @@ -29,9 +29,9 @@ def cases() -> list[str]: return ["UH0_0", "UH0_1"] -UH0_reflection = _expr2 +UH0_reflection = _expr0 -def _expr4() -> TypeInfo: +def _expr1() -> TypeInfo: return record_type("Sm.Mut0", [], Mut0, lambda: [("l0", int32_type), ("l1", string_type), ("l2", string_type)]) @@ -41,9 +41,9 @@ class Mut0(Record): l1: str l2: str -Mut0_reflection = _expr4 +Mut0_reflection = _expr1 -def _expr5() -> TypeInfo: +def _expr2() -> TypeInfo: return record_type("Sm.Mut1", [], Mut1, lambda: [("l0", int32_type)]) @@ -51,17 +51,17 @@ def _expr5() -> TypeInfo: class Mut1(Record): l0: int -Mut1_reflection = _expr5 +Mut1_reflection = _expr2 def closure1(v0_1: str, v1_1: str) -> bool: return v1_1.find(v0_1) >= 0 def closure0(unit_var: None, v0_1: str) -> Callable[[str], bool]: - def _arrow18(v: str, unit_var: Any=unit_var, v0_1: Any=v0_1) -> bool: + def _arrow3(v: str, unit_var: Any=unit_var, v0_1: Any=v0_1) -> bool: return closure1(v0_1, v) - return _arrow18 + return _arrow3 def closure3(v0_1: str, v1_1: str) -> bool: @@ -69,10 +69,10 @@ def closure3(v0_1: str, v1_1: str) -> bool: def closure2(unit_var: None, v0_1: str) -> Callable[[str], bool]: - def _arrow19(v: str, unit_var: Any=unit_var, v0_1: Any=v0_1) -> bool: + def _arrow4(v: str, unit_var: Any=unit_var, v0_1: Any=v0_1) -> bool: return closure3(v0_1, v) - return _arrow19 + return _arrow4 def closure7(v0_1: int, v1_1: str, v2_1: int, v3_1: str) -> str: @@ -85,10 +85,10 @@ def closure7(v0_1: int, v1_1: str, v2_1: int, v3_1: str) -> str: def method0(v0_1: int, v1_1: str, v2_1: int) -> Callable[[str], str]: - def _arrow20(v: str, v0_1: Any=v0_1, v1_1: Any=v1_1, v2_1: Any=v2_1) -> str: + def _arrow5(v: str, v0_1: Any=v0_1, v1_1: Any=v1_1, v2_1: Any=v2_1) -> str: return closure7(v0_1, v1_1, v2_1, v) - return _arrow20 + return _arrow5 def closure6(v0_1: int, v1_1: str, v2_1: str) -> str: @@ -96,17 +96,17 @@ def closure6(v0_1: int, v1_1: str, v2_1: str) -> str: def closure5(v0_1: int, v1_1: str) -> Callable[[str], str]: - def _arrow21(v: str, v0_1: Any=v0_1, v1_1: Any=v1_1) -> str: + def _arrow6(v: str, v0_1: Any=v0_1, v1_1: Any=v1_1) -> str: return closure6(v0_1, v1_1, v) - return _arrow21 + return _arrow6 def closure4(unit_var: None, v0_1: int) -> Callable[[str, str], str]: - def _arrow22(v: str, unit_var: Any=unit_var, v0_1: Any=v0_1) -> Callable[[str], str]: + def _arrow7(v: str, unit_var: Any=unit_var, v0_1: Any=v0_1) -> Callable[[str], str]: return closure5(v0_1, v) - return _arrow22 + return _arrow7 def closure10(v0_1: int, v1_1: str, v2_1: str) -> str: @@ -114,17 +114,17 @@ def closure10(v0_1: int, v1_1: str, v2_1: str) -> str: def closure9(v0_1: int, v1_1: str) -> Callable[[str], str]: - def _arrow23(v: str, v0_1: Any=v0_1, v1_1: Any=v1_1) -> str: + def _arrow8(v: str, v0_1: Any=v0_1, v1_1: Any=v1_1) -> str: return closure10(v0_1, v1_1, v) - return _arrow23 + return _arrow8 def closure8(unit_var: None, v0_1: int) -> Callable[[str, str], str]: - def _arrow24(v: str, unit_var: Any=unit_var, v0_1: Any=v0_1) -> Callable[[str], str]: + def _arrow9(v: str, unit_var: Any=unit_var, v0_1: Any=v0_1) -> Callable[[str], str]: return closure9(v0_1, v) - return _arrow24 + return _arrow9 def closure13(v0_1: str, v1_1: str, v2_1: str) -> str: @@ -132,17 +132,17 @@ def closure13(v0_1: str, v1_1: str, v2_1: str) -> str: def closure12(v0_1: str, v1_1: str) -> Callable[[str], str]: - def _arrow25(v: str, v0_1: Any=v0_1, v1_1: Any=v1_1) -> str: + def _arrow10(v: str, v0_1: Any=v0_1, v1_1: Any=v1_1) -> str: return closure13(v0_1, v1_1, v) - return _arrow25 + return _arrow10 def closure11(unit_var: None, v0_1: str) -> Callable[[str, str], str]: - def _arrow26(v: str, unit_var: Any=unit_var, v0_1: Any=v0_1) -> Callable[[str], str]: + def _arrow11(v: str, unit_var: Any=unit_var, v0_1: Any=v0_1) -> Callable[[str], str]: return closure12(v0_1, v) - return _arrow26 + return _arrow11 def method2(v0_1: str) -> str: @@ -158,17 +158,17 @@ def closure16(v0_1: str, v1_1: str, v2_1: str) -> str: def closure15(v0_1: str, v1_1: str) -> Callable[[str], str]: - def _arrow27(v: str, v0_1: Any=v0_1, v1_1: Any=v1_1) -> str: + def _arrow12(v: str, v0_1: Any=v0_1, v1_1: Any=v1_1) -> str: return closure16(v0_1, v1_1, v) - return _arrow27 + return _arrow12 def closure14(unit_var: None, v0_1: str) -> Callable[[str, str], str]: - def _arrow28(v: str, unit_var: Any=unit_var, v0_1: Any=v0_1) -> Callable[[str], str]: + def _arrow13(v: str, unit_var: Any=unit_var, v0_1: Any=v0_1) -> Callable[[str], str]: return closure15(v0_1, v) - return _arrow28 + return _arrow13 def closure19(v0_1: int, v1_1: int, v2_1: str) -> str: @@ -176,17 +176,17 @@ def closure19(v0_1: int, v1_1: int, v2_1: str) -> str: def closure18(v0_1: int, v1_1: int) -> Callable[[str], str]: - def _arrow29(v: str, v0_1: Any=v0_1, v1_1: Any=v1_1) -> str: + def _arrow14(v: str, v0_1: Any=v0_1, v1_1: Any=v1_1) -> str: return closure19(v0_1, v1_1, v) - return _arrow29 + return _arrow14 def closure17(unit_var: None, v0_1: int) -> Callable[[int, str], str]: - def _arrow30(v: int, unit_var: Any=unit_var, v0_1: Any=v0_1) -> Callable[[str], str]: + def _arrow16(v: int, unit_var: Any=unit_var, v0_1: Any=v0_1) -> Callable[[str], str]: return closure18(v0_1, v) - return _arrow30 + return _arrow16 def closure21(v0_1: str, v1_1: str) -> Array[str]: @@ -194,10 +194,10 @@ def closure21(v0_1: str, v1_1: str) -> Array[str]: def closure20(unit_var: None, v0_1: str) -> Callable[[str], Array[str]]: - def _arrow31(v: str, unit_var: Any=unit_var, v0_1: Any=v0_1) -> Array[str]: + def _arrow17(v: str, unit_var: Any=unit_var, v0_1: Any=v0_1) -> Array[str]: return closure21(v0_1, v) - return _arrow31 + return _arrow17 def method3(__unit: None=None) -> str: @@ -215,10 +215,10 @@ def closure23(v0_1: Array[str], v1_1: str) -> Array[str]: def closure22(unit_var: None, v0_1: Array[str]) -> Callable[[str], Array[str]]: - def _arrow32(v: str, unit_var: Any=unit_var, v0_1: Any=v0_1) -> Array[str]: + def _arrow23(v: str, unit_var: Any=unit_var, v0_1: Any=v0_1) -> Array[str]: return closure23(v0_1, v) - return _arrow32 + return _arrow23 def closure25(v0_1: str, v1_1: str) -> bool: @@ -226,10 +226,10 @@ def closure25(v0_1: str, v1_1: str) -> bool: def closure24(unit_var: None, v0_1: str) -> Callable[[str], bool]: - def _arrow33(v: str, unit_var: Any=unit_var, v0_1: Any=v0_1) -> bool: + def _arrow24(v: str, unit_var: Any=unit_var, v0_1: Any=v0_1) -> bool: return closure25(v0_1, v) - return _arrow33 + return _arrow24 def closure28(v0_1: int, v1_1: int, v2_1: str) -> str: @@ -237,17 +237,17 @@ def closure28(v0_1: int, v1_1: int, v2_1: str) -> str: def closure27(v0_1: int, v1_1: int) -> Callable[[str], str]: - def _arrow34(v: str, v0_1: Any=v0_1, v1_1: Any=v1_1) -> str: + def _arrow26(v: str, v0_1: Any=v0_1, v1_1: Any=v1_1) -> str: return closure28(v0_1, v1_1, v) - return _arrow34 + return _arrow26 def closure26(unit_var: None, v0_1: int) -> Callable[[int, str], str]: - def _arrow35(v: int, unit_var: Any=unit_var, v0_1: Any=v0_1) -> Callable[[str], str]: + def _arrow27(v: int, unit_var: Any=unit_var, v0_1: Any=v0_1) -> Callable[[str], str]: return closure27(v0_1, v) - return _arrow35 + return _arrow27 def closure29(unit_var: None, v0_1: str) -> str: @@ -267,17 +267,17 @@ def closure34(v0_1: str, v1_1: UH0) -> UH0: def closure33(unit_var: None, v0_1: str) -> Callable[[UH0], UH0]: - def _arrow36(v: UH0, unit_var: Any=unit_var, v0_1: Any=v0_1) -> UH0: + def _arrow30(v: UH0, unit_var: Any=unit_var, v0_1: Any=v0_1) -> UH0: return closure34(v0_1, v) - return _arrow36 + return _arrow30 def method5(__unit: None=None) -> Callable[[str, UH0], UH0]: - def _arrow37(v: str) -> Callable[[UH0], UH0]: + def _arrow32(v: str) -> Callable[[UH0], UH0]: return closure33(None, v) - return _arrow37 + return _arrow32 def method6(v0_1: UH0, v1_1: FSharpList[str]) -> FSharpList[str]: @@ -326,10 +326,10 @@ def closure39(v0_1: int, v1_1: str) -> str: def closure38(unit_var: None, v0_1: int) -> Callable[[str], str]: - def _arrow41(v: str, unit_var: Any=unit_var, v0_1: Any=v0_1) -> str: + def _arrow40(v: str, unit_var: Any=unit_var, v0_1: Any=v0_1) -> str: return closure39(v0_1, v) - return _arrow41 + return _arrow40 def method7(v0_1: int64, v1_1: str) -> str: @@ -432,31 +432,31 @@ def closure49(unit_var: None, v0_1: str) -> Array[str]: return v2_1 -def _arrow47(v: str) -> Callable[[str], bool]: +def _arrow46(v: str) -> Callable[[str], bool]: return closure0(None, v) -v0: Callable[[str, str], bool] = _arrow47 +v0: Callable[[str, str], bool] = _arrow46 def contains(x: str) -> Callable[[str], bool]: return v0(x) -def _arrow48(v: str) -> Callable[[str], bool]: +def _arrow47(v: str) -> Callable[[str], bool]: return closure2(None, v) -v1: Callable[[str, str], bool] = _arrow48 +v1: Callable[[str, str], bool] = _arrow47 def ends_with(x: str) -> Callable[[str], bool]: return v1(x) -def _arrow49(v: int) -> Callable[[str, str], str]: +def _arrow48(v: int) -> Callable[[str, str], str]: return closure4(None, v) -v2: Callable[[int, str, str], str] = _arrow49 +v2: Callable[[int, str, str], str] = _arrow48 def pad_left(x: int) -> Callable[[str, str], str]: return v2(x) @@ -502,111 +502,111 @@ def slice(x: int) -> Callable[[int, str], str]: return v6(x) -def _arrow55(v: str) -> Callable[[str], Array[str]]: +def _arrow54(v: str) -> Callable[[str], Array[str]]: return closure20(None, v) -v7: Callable[[str, str], Array[str]] = _arrow55 +v7: Callable[[str, str], Array[str]] = _arrow54 def split(x: str) -> Callable[[str], Array[str]]: return v7(x) -def _arrow57(v: Array[str]) -> Callable[[str], Array[str]]: +def _arrow55(v: Array[str]) -> Callable[[str], Array[str]]: return closure22(None, v) -v8: Callable[[Array[str], str], Array[str]] = _arrow57 +v8: Callable[[Array[str], str], Array[str]] = _arrow55 def split_string(x: Array[str]) -> Callable[[str], Array[str]]: return v8(x) -def _arrow59(v: str) -> Callable[[str], bool]: +def _arrow56(v: str) -> Callable[[str], bool]: return closure24(None, v) -v9: Callable[[str, str], bool] = _arrow59 +v9: Callable[[str, str], bool] = _arrow56 def starts_with(x: str) -> Callable[[str], bool]: return v9(x) -def _arrow60(v: int) -> Callable[[int, str], str]: +def _arrow57(v: int) -> Callable[[int, str], str]: return closure26(None, v) -v10: Callable[[int, int, str], str] = _arrow60 +v10: Callable[[int, int, str], str] = _arrow57 def substring(x: int) -> Callable[[int, str], str]: return v10(x) -def _arrow61(v: str) -> str: +def _arrow58(v: str) -> str: return closure29(None, v) -v11: Callable[[str], str] = _arrow61 +v11: Callable[[str], str] = _arrow58 def to_lower(x: str) -> str: return v11(x) -def _arrow62(v: str) -> str: +def _arrow59(v: str) -> str: return closure30(None, v) -v12: Callable[[str], str] = _arrow62 +v12: Callable[[str], str] = _arrow59 def to_upper(x: str) -> str: return v12(x) -def _arrow63(v: str) -> str: +def _arrow60(v: str) -> str: return closure31(None, v) -v13: Callable[[str], str] = _arrow63 +v13: Callable[[str], str] = _arrow60 def trim(x: str) -> str: return v13(x) -def _arrow64(v: Array[str]) -> Callable[[str], str]: +def _arrow61(v: Array[str]) -> Callable[[str], str]: return closure32(None, v) -v14: Callable[[Array[str], str], str] = _arrow64 +v14: Callable[[Array[str], str], str] = _arrow61 def trim_end(x: Array[str]) -> Callable[[str], str]: return v14(x) -def _arrow65(v: Array[str]) -> Callable[[str], str]: +def _arrow63(v: Array[str]) -> Callable[[str], str]: return closure36(None, v) -v15: Callable[[Array[str], str], str] = _arrow65 +v15: Callable[[Array[str], str], str] = _arrow63 def trim_start(x: Array[str]) -> Callable[[str], str]: return v15(x) -def _arrow66(v: int) -> Callable[[str], str]: +def _arrow64(v: int) -> Callable[[str], str]: return closure38(None, v) -v16: Callable[[int, str], str] = _arrow66 +v16: Callable[[int, str], str] = _arrow64 def ellipsis(x: int) -> Callable[[str], str]: return v16(x) -def _arrow67(v: int64) -> Callable[[str], str]: +def _arrow66(v: int64) -> Callable[[str], str]: return closure40(None, v) -v17: Callable[[int64, str], str] = _arrow67 +v17: Callable[[int64, str], str] = _arrow66 def ellipsis_end(x: int64) -> Callable[[str], str]: return v17(x) diff --git a/lib/spiral/trace.py b/lib/spiral/trace.py index e9ab3a2c..edb4bde0 100644 --- a/lib/spiral/trace.py +++ b/lib/spiral/trace.py @@ -23,7 +23,7 @@ def environ(self) -> Any: ... -def _expr233() -> TypeInfo: +def _expr261() -> TypeInfo: return union_type("Trace.US0", [], US0, lambda: [[], [], [], [], []]) @@ -39,9 +39,9 @@ def cases() -> list[str]: return ["US0_0", "US0_1", "US0_2", "US0_3", "US0_4"] -US0_reflection = _expr233 +US0_reflection = _expr261 -def _expr234() -> TypeInfo: +def _expr262() -> TypeInfo: return record_type("Trace.Mut0", [], Mut0, lambda: [("l0", int64_type)]) @@ -49,9 +49,9 @@ def _expr234() -> TypeInfo: class Mut0(Record): l0: int64 -Mut0_reflection = _expr234 +Mut0_reflection = _expr262 -def _expr235() -> TypeInfo: +def _expr263() -> TypeInfo: return record_type("Trace.Mut1", [], Mut1, lambda: [("l0", lambda_type(string_type, unit_type))]) @@ -59,9 +59,9 @@ def _expr235() -> TypeInfo: class Mut1(Record): l0: Callable[[str], None] -Mut1_reflection = _expr235 +Mut1_reflection = _expr263 -def _expr236() -> TypeInfo: +def _expr264() -> TypeInfo: return record_type("Trace.Mut2", [], Mut2, lambda: [("l0", bool_type)]) @@ -69,9 +69,9 @@ def _expr236() -> TypeInfo: class Mut2(Record): l0: bool -Mut2_reflection = _expr236 +Mut2_reflection = _expr264 -def _expr237() -> TypeInfo: +def _expr265() -> TypeInfo: return record_type("Trace.Mut3", [], Mut3, lambda: [("l0", string_type)]) @@ -79,9 +79,9 @@ def _expr237() -> TypeInfo: class Mut3(Record): l0: str -Mut3_reflection = _expr237 +Mut3_reflection = _expr265 -def _expr238() -> TypeInfo: +def _expr266() -> TypeInfo: return record_type("Trace.Mut4", [], Mut4, lambda: [("l0", US0_reflection())]) @@ -89,9 +89,9 @@ def _expr238() -> TypeInfo: class Mut4(Record): l0: US0 -Mut4_reflection = _expr238 +Mut4_reflection = _expr266 -def _expr239() -> TypeInfo: +def _expr268() -> TypeInfo: return union_type("Trace.US1", [], US1, lambda: [[("f0_0", US0_reflection())], []]) @@ -107,9 +107,9 @@ def cases() -> list[str]: return ["US1_0", "US1_1"] -US1_reflection = _expr239 +US1_reflection = _expr268 -def _expr240() -> TypeInfo: +def _expr270() -> TypeInfo: return union_type("Trace.US2", [], US2, lambda: [[("f0_0", int64_type)], []]) @@ -125,9 +125,9 @@ def cases() -> list[str]: return ["US2_0", "US2_1"] -US2_reflection = _expr240 +US2_reflection = _expr270 -def _expr241() -> TypeInfo: +def _expr271() -> TypeInfo: return union_type("Trace.US3", [], US3, lambda: [[], [], []]) @@ -143,9 +143,9 @@ def cases() -> list[str]: return ["US3_0", "US3_1", "US3_2"] -US3_reflection = _expr241 +US3_reflection = _expr271 -def _expr242() -> TypeInfo: +def _expr272() -> TypeInfo: return union_type("Trace.US4", [], US4, lambda: [[("f0_0", US3_reflection())], [("f1_0", US3_reflection())], [("f2_0", US3_reflection())], [("f3_0", US3_reflection())], [("f4_0", US3_reflection())]]) @@ -161,9 +161,9 @@ def cases() -> list[str]: return ["US4_0", "US4_1", "US4_2", "US4_3", "US4_4"] -US4_reflection = _expr242 +US4_reflection = _expr272 -def _expr243() -> TypeInfo: +def _expr273() -> TypeInfo: return union_type("Trace.US5", [], US5, lambda: [[("f0_0", string_type)], []]) @@ -179,7 +179,7 @@ def cases() -> list[str]: return ["US5_0", "US5_1"] -US5_reflection = _expr243 +US5_reflection = _expr273 def method3(v0_1: str) -> str: return v0_1 @@ -194,10 +194,10 @@ def closure1(unit_var: None, v0_1: str) -> US5: def method5(__unit: None=None) -> Callable[[str], US5]: - def _arrow244(v: str) -> US5: + def _arrow274(v: str) -> US5: return closure1(None, v) - return _arrow244 + return _arrow274 def method2(v0_1: str) -> str: @@ -225,7 +225,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 _arrow246(__unit: None=None) -> US1: + def _arrow275(__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]) @@ -247,7 +247,7 @@ def _arrow246(__unit: None=None) -> US1: - return (US1(0, v6.fields[0]) if (v6.tag == 0) else _arrow246(), 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 _arrow275(), US2(1) if (method2("AUTOMATION") != "True") else US2(0, from_value(ticks_1(now()), False))) def closure2(unit_var: None, v0_1: str) -> None: @@ -282,17 +282,17 @@ def method6(v0_1: US0) -> bool: return False else: - class ObjectExpr247: + class ObjectExpr276: @property def Compare(self) -> Callable[[US0, US0], int]: return compare - class ObjectExpr248: + class ObjectExpr277: @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)]), ObjectExpr247())) >= find(v35, of_seq(to_enumerable([(US0(0), 0), (US0(1), 1), (US0(2), 2), (US0(3), 3), (US0(4), 4)]), ObjectExpr248())) + return find(v0_1, of_seq(to_enumerable([(US0(0), 0), (US0(1), 1), (US0(2), 2), (US0(3), 3), (US0(4), 4)]), ObjectExpr276())) >= find(v35, of_seq(to_enumerable([(US0(0), 0), (US0(1), 1), (US0(2), 2), (US0(3), 3), (US0(4), 4)]), ObjectExpr277())) @@ -301,10 +301,10 @@ def closure7(unit_var: None, v0_1: int64) -> US2: def method8(__unit: None=None) -> Callable[[int64], US2]: - def _arrow249(v: int64) -> US2: + def _arrow278(v: int64) -> US2: return closure7(None, v) - return _arrow249 + return _arrow278 def method9(__unit: None=None) -> str: @@ -460,39 +460,39 @@ def closure5(v0_1: US0, v1_1: Callable[[], str], v2_1: Callable[[], str]) -> Non def closure4(v0_1: US0, v1_1: Callable[[], str]) -> Callable[[Callable[[], str]], None]: - def _arrow260(v: Callable[[], str], v0_1: Any=v0_1, v1_1: Any=v1_1) -> None: + def _arrow279(v: Callable[[], str], v0_1: Any=v0_1, v1_1: Any=v1_1) -> None: closure5(v0_1, v1_1, v) - return _arrow260 + return _arrow279 def closure3(unit_var: None, v0_1: US0) -> Callable[[Callable[[], str], Callable[[], str]], None]: - def _arrow261(v: Callable[[], str], unit_var: Any=unit_var, v0_1: Any=v0_1) -> Callable[[Callable[[], str]], None]: + def _arrow280(v: Callable[[], str], unit_var: Any=unit_var, v0_1: Any=v0_1) -> Callable[[Callable[[], str]], None]: return closure4(v0_1, v) - return _arrow261 + return _arrow280 v0: None = None -def _arrow262(__unit: None=None) -> None: +def _arrow281(__unit: None=None) -> None: closure0(None, None) -v1: Callable[[], None] = _arrow262 +v1: Callable[[], None] = _arrow281 -def _expr263(): +def _expr282(): v1(None) return v0 -v2: None = _expr263() +v2: None = _expr282() -def _arrow264(v: US0) -> Callable[[Callable[[], str], Callable[[], str]], None]: +def _arrow283(v: US0) -> Callable[[Callable[[], str], Callable[[], str]], None]: return closure3(None, v) -v16: Callable[[US0, Callable[[], str], Callable[[], str]], None] = _arrow264 +v16: Callable[[US0, Callable[[], str], Callable[[], str]], None] = _arrow283 def trace(x: US0) -> Callable[[Callable[[], str], Callable[[], str]], None]: return v16(x) diff --git a/scripts/build.dib.html b/scripts/build.dib.html index bbe2b3c6..542013b6 100644 --- a/scripts/build.dib.html +++ b/scripts/build.dib.html @@ -7562,9 +7562,7 @@ @@ -9348,7 +9291,7 @@ - - - - - - - - -