Skip to content

Commit

Permalink
tests
Browse files Browse the repository at this point in the history
  • Loading branch information
@fc1943s
fc1943s committed Jan 23, 2025
1 parent 76ad04b commit f6cd866
Show file tree
Hide file tree
Showing 18 changed files with 1,394 additions and 891 deletions.
78 changes: 39 additions & 39 deletions lib/spiral/common.py
View file
Original file line number Diff line number Diff line change
Expand Up @@ -23,7 +23,7 @@ def environ(self) -> Any:
...


def _expr6() -> TypeInfo:
def _expr1() -> TypeInfo:
return class_type("Common.Disposable", None, Disposable)


Expand All @@ -36,13 +36,13 @@ def Dispose(self, __unit: None=None) -> None:
_.f(None)


Disposable_reflection = _expr6
Disposable_reflection = _expr1

def Disposable__ctor_3A5B6456(f: Callable[[], None]) -> Disposable:
return Disposable(f)


def _expr7() -> TypeInfo:
def _expr2() -> TypeInfo:
return union_type("Common.US0", [], US0, lambda: [[], [], [], [], []])


Expand All @@ -58,59 +58,59 @@ def cases() -> list[str]:
return ["US0_0", "US0_1", "US0_2", "US0_3", "US0_4"]


US0_reflection = _expr7
US0_reflection = _expr2

def _expr8() -> TypeInfo:
def _expr3() -> TypeInfo:
return record_type("Common.Mut0", [], Mut0, lambda: [("l0", int64_type)])


@dataclass(eq = False, repr = False, slots = True)
class Mut0(Record):
l0: int64

Mut0_reflection = _expr8
Mut0_reflection = _expr3

def _expr11() -> TypeInfo:
def _expr6() -> 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 = _expr11
Mut1_reflection = _expr6

def _expr12() -> TypeInfo:
def _expr7() -> 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 = _expr12
Mut2_reflection = _expr7

def _expr15() -> TypeInfo:
def _expr8() -> TypeInfo:
return record_type("Common.Mut3", [], Mut3, lambda: [("l0", string_type)])


@dataclass(eq = False, repr = False, slots = True)
class Mut3(Record):
l0: str

Mut3_reflection = _expr15
Mut3_reflection = _expr8

def _expr17() -> TypeInfo:
def _expr9() -> TypeInfo:
return record_type("Common.Mut4", [], Mut4, lambda: [("l0", US0_reflection())])


@dataclass(eq = False, repr = False, slots = True)
class Mut4(Record):
l0: US0

Mut4_reflection = _expr17
Mut4_reflection = _expr9

def _expr19() -> TypeInfo:
def _expr10() -> TypeInfo:
return union_type("Common.US1", [], US1, lambda: [[("f0_0", US0_reflection())], []])


Expand All @@ -126,9 +126,9 @@ def cases() -> list[str]:
return ["US1_0", "US1_1"]


US1_reflection = _expr19
US1_reflection = _expr10

def _expr22() -> TypeInfo:
def _expr11() -> TypeInfo:
return union_type("Common.US2", [], US2, lambda: [[("f0_0", int64_type)], []])


Expand All @@ -144,9 +144,9 @@ def cases() -> list[str]:
return ["US2_0", "US2_1"]


US2_reflection = _expr22
US2_reflection = _expr11

def _expr23() -> TypeInfo:
def _expr12() -> TypeInfo:
return union_type("Common.US3", [], US3, lambda: [[], [], []])


Expand All @@ -162,9 +162,9 @@ def cases() -> list[str]:
return ["US3_0", "US3_1", "US3_2"]


US3_reflection = _expr23
US3_reflection = _expr12

def _expr25() -> TypeInfo:
def _expr13() -> 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())]])


Expand All @@ -180,9 +180,9 @@ def cases() -> list[str]:
return ["US4_0", "US4_1", "US4_2", "US4_3", "US4_4"]


US4_reflection = _expr25
US4_reflection = _expr13

def _expr27() -> TypeInfo:
def _expr14() -> TypeInfo:
return union_type("Common.US5", [], US5, lambda: [[("f0_0", string_type)], []])


Expand All @@ -198,9 +198,9 @@ def cases() -> list[str]:
return ["US5_0", "US5_1"]


US5_reflection = _expr27
US5_reflection = _expr14

def _expr29() -> TypeInfo:
def _expr15() -> TypeInfo:
return union_type("Common.US6", [], US6, lambda: [[], []])


Expand All @@ -216,9 +216,9 @@ def cases() -> list[str]:
return ["US6_0", "US6_1"]


US6_reflection = _expr29
US6_reflection = _expr15

def _expr30() -> TypeInfo:
def _expr16() -> TypeInfo:
return union_type("Common.US7", [], US7, lambda: [[("f0_0", US6_reflection())], []])


Expand All @@ -234,7 +234,7 @@ def cases() -> list[str]:
return ["US7_0", "US7_1"]


US7_reflection = _expr30
US7_reflection = _expr16

def method3(v0_1: str) -> str:
return v0_1
Expand All @@ -249,10 +249,10 @@ def closure1(unit_var: None, v0_1: str) -> US5:


def method5(__unit: None=None) -> Callable[[str], US5]:
def _arrow31(v: str) -> US5:
def _arrow17(v: str) -> US5:
return closure1(None, v)

return _arrow31
return _arrow17


def method2(v0_1: str) -> str:
Expand Down Expand Up @@ -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 _arrow39(__unit: None=None) -> US1:
def _arrow40(__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])
Expand All @@ -302,7 +302,7 @@ def _arrow39(__unit: None=None) -> US1:



return (US1(0, v6.fields[0]) if (v6.tag == 0) else _arrow39(), 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 _arrow40(), US2(1) if (method2("AUTOMATION") != "True") else US2(0, from_value(ticks_1(now()), False)))


def closure2(unit_var: None, v0_1: str) -> None:
Expand Down Expand Up @@ -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 ObjectExpr48(IDisposable):
def Dispose(self, __unit: None=None, unit_var: Any=unit_var, v0_1: Any=v0_1) -> None:
v10(None)

return ObjectExpr46()
return ObjectExpr48()


def closure6(unit_var: None, v0_1: US6) -> US7:
Expand All @@ -368,17 +368,17 @@ def method9(v0_1: US0) -> bool:
return False

else:
class ObjectExpr55:
class ObjectExpr61:
@property
def Compare(self) -> Callable[[US0, US0], int]:
return compare

class ObjectExpr58:
class ObjectExpr64:
@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)]), ObjectExpr55())) >= find(v35, of_seq(to_enumerable([(US0(0), 0), (US0(1), 1), (US0(2), 2), (US0(3), 3), (US0(4), 4)]), ObjectExpr58()))
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()))



Expand All @@ -387,10 +387,10 @@ def closure10(unit_var: None, v0_1: int64) -> US2:


def method11(__unit: None=None) -> Callable[[int64], US2]:
def _arrow60(v: int64) -> US2:
def _arrow66(v: int64) -> US2:
return closure10(None, v)

return _arrow60
return _arrow66


def method12(__unit: None=None) -> str:
Expand Down
78 changes: 39 additions & 39 deletions lib/spiral/date_time_wasm.rs
View file
Original file line number Diff line number Diff line change
Expand Up @@ -85,76 +85,76 @@ pub mod Date_time {
string("hhmm")
}
pub fn method0(v0_1: Guid, v1_1: DateTime) -> Guid {
let v400: DateTime = {
let v526: DateTime = {
let _arg: DateTime = DateTime::unixEpoch();
_arg.toUniversalTime()
};
let v408: DateTime = {
let v534: DateTime = {
let _arg_1: DateTime = DateTime::specifyKind(v1_1, 2_i32);
_arg_1.toUniversalTime()
};
let v484: i64 = ((v408.ticks()) - (v400.ticks())) / 10_i64;
let v486: Option<chrono::DateTime<chrono::Utc>> =
chrono::DateTime::from_timestamp_micros(v484);
let v500: Date_time::US0 =
defaultValue(Date_time::US0::US0_1, map(Date_time::method1(), v486));
let v520: Date_time::US1 = match &v500 {
Date_time::US0::US0_0(v500_0_0) => {
let v506: chrono::NaiveDateTime = match &v500 {
let v610: i64 = ((v534.ticks()) - (v526.ticks())) / 10_i64;
let v612: Option<chrono::DateTime<chrono::Utc>> =
chrono::DateTime::from_timestamp_micros(v610);
let v626: Date_time::US0 =
defaultValue(Date_time::US0::US0_1, map(Date_time::method1(), v612));
let v646: Date_time::US1 = match &v626 {
Date_time::US0::US0_0(v626_0_0) => {
let v632: chrono::NaiveDateTime = match &v626 {
Date_time::US0::US0_0(x) => x.clone(),
_ => unreachable!(),
}
.clone()
.naive_utc();
let v508: chrono::DateTime<chrono::Local> =
chrono::offset::TimeZone::from_utc_datetime(&chrono::Local, &v506);
let v510: string = string("r#\"%Y%m%d-%H%M-%S%f\"#");
let v511: &str = r#"%Y%m%d-%H%M-%S%f"#;
let v513: std::string::String = v508.format(v511).to_string();
let v515: string = fable_library_rust::String_::fromString(v513);
let v634: chrono::DateTime<chrono::Local> =
chrono::offset::TimeZone::from_utc_datetime(&chrono::Local, &v632);
let v636: string = string("r#\"%Y%m%d-%H%M-%S%f\"#");
let v637: &str = r#"%Y%m%d-%H%M-%S%f"#;
let v639: std::string::String = v634.format(v637).to_string();
let v641: string = fable_library_rust::String_::fromString(v639);
Date_time::US1::US1_0(sprintf!(
"{}-{}-{}",
getSlice(v515.clone(), Some(0_i32), Some(17_i32)),
getSlice(v515.clone(), Some(18_i32), Some(21_i32)),
getCharAt(v515, 22_i32)
getSlice(v641.clone(), Some(0_i32), Some(17_i32)),
getSlice(v641.clone(), Some(18_i32), Some(21_i32)),
getCharAt(v641, 22_i32)
))
}
_ => Date_time::US1::US1_1,
};
let v524: string = match &v520 {
Date_time::US1::US1_0(v520_0_0) => match &v520 {
let v650: string = match &v646 {
Date_time::US1::US1_0(v646_0_0) => match &v646 {
Date_time::US1::US1_0(x) => x.clone(),
_ => unreachable!(),
}
.clone(),
_ => string(""),
};
let v528: LrcPtr<TimeZoneInfo> = getZero();
let v590: i64 = v408.ticks();
let v619: string =
let v654: LrcPtr<TimeZoneInfo> = getZero();
let v716: i64 = v534.ticks();
let v745: string =
string("chrono::FixedOffset::local_minus_utc(&chrono::DateTime::timezone(&chrono::DateTime::fixed_offset(&chrono::DateTime::from_timestamp_nanos($1))))");
let v692: TimeSpan = TimeSpan::new_ticks(chrono::FixedOffset::local_minus_utc(
let v818: TimeSpan = TimeSpan::new_ticks(chrono::FixedOffset::local_minus_utc(
&chrono::DateTime::timezone(&chrono::DateTime::fixed_offset(
&chrono::DateTime::from_timestamp_nanos(v590),
&chrono::DateTime::from_timestamp_nanos(v716),
)),
) as i64);
let v705: u8 = if (v692.hours()) > 0_i32 { 1_u8 } else { 0_u8 };
let v706: string = Date_time::method2();
let v725: string = v692.toString(v706);
let v730: string = sprintf!(
let v831: u8 = if (v818.hours()) > 0_i32 { 1_u8 } else { 0_u8 };
let v832: string = Date_time::method2();
let v934: string = v818.toString(v832);
let v982: string = sprintf!(
"{}{}{}",
v705,
getSlice(v725.clone(), Some(0_i32), Some(1_i32)),
getSlice(v725, Some(3_i32), Some(4_i32))
v831,
getSlice(v934.clone(), Some(0_i32), Some(1_i32)),
getSlice(v934, Some(3_i32), Some(4_i32))
);
let v732: string = toString(v0_1);
let v984: string = toString(v0_1);
parse(concat(new_array(&[
v524.clone(),
v730.clone(),
v650.clone(),
v982.clone(),
getSlice(
v732.clone(),
Some((length(v524)) + (length(v730))),
Some((length(v732)) - 1_i32),
v984.clone(),
Some((length(v650)) + (length(v982))),
Some((length(v984)) - 1_i32),
),
])))
}
Expand Down
3 changes: 2 additions & 1 deletion lib/spiral/file_system.dib
View file
Original file line number Diff line number Diff line change
Expand Up @@ -792,7 +792,8 @@ let get_extension (path : string) : string =

let directory_separator_char () : char =
run_target function
| Rust (Native) => fun () => !\($'"std::path::MAIN_SEPARATOR"')
| Rust _ => fun () => !\($'"std::path::MAIN_SEPARATOR"')
| TypeScript _ | Python _ => fun () => '/'
| _ => fun () => $'System.IO.Path.DirectorySeparatorChar'

#!markdown
Expand Down
Loading

0 comments on commit f6cd866

Please sign in to comment.