From bd012deb208b80e1d862bfc1edafc20cd957fe08 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=ED=94=84=EB=A6=AC=EB=A7=88?= Date: Thu, 6 Jun 2024 00:05:45 -0400 Subject: [PATCH] tests --- apps/parser/JsonParser.dib.html | 62 +- apps/parser/JsonParser.dib.ipynb | 62 +- apps/spiral/Eval.dib | 28 +- apps/spiral/Eval.dib.html | 28 +- apps/spiral/Eval.dib.ipynb | 28 +- apps/spiral/Eval.fs | 28 +- apps/spiral/Supervisor.dib.html | 521 +- apps/spiral/Supervisor.dib.ipynb | 521 +- apps/spiral/builder/spiral_builder.dib | 15 +- apps/spiral/builder/spiral_builder.dib.html | 141 +- apps/spiral/builder/spiral_builder.dib.ipynb | 141 +- apps/spiral/builder/spiral_builder.fsx | 1345 +- apps/spiral/builder/spiral_builder.rs | 886 +- apps/spiral/builder/spiral_builder.spi | 15 +- lib/fsharp/Async.dib.html | 2 +- lib/fsharp/Async.dib.ipynb | 2 +- lib/fsharp/FileSystem.dib | 2 +- lib/fsharp/FileSystem.dib.html | 98 +- lib/fsharp/FileSystem.dib.ipynb | 98 +- lib/fsharp/FileSystem.fs | 2 +- lib/fsharp/Notebooks.dib | 1 + lib/fsharp/Plotting.dib | 2 +- lib/fsharp/Runtime.dib | 2 +- lib/fsharp/Runtime.dib.html | 2 +- lib/fsharp/Runtime.dib.ipynb | 2 +- lib/fsharp/Runtime.fs | 2 +- lib/math/math.rs | 3 + lib/spiral/am'.dib | 110 +- lib/spiral/am'.dib.html | 539 +- lib/spiral/am'.dib.ipynb | 283 +- lib/spiral/am'.spi | 41 +- lib/spiral/am'_prototypes.spi | 9 +- lib/spiral/base.dib | 222 +- lib/spiral/base.spi | 106 +- lib/spiral/build.ps1 | 6 +- lib/spiral/common.py | 66 +- lib/spiral/crypto.dib.html | 10 +- lib/spiral/crypto.dib.ipynb | 10 +- lib/spiral/env.dib | 76 + lib/spiral/env.dib.html | 7614 ++ lib/spiral/env.dib.ipynb | 92 + lib/spiral/env.spi | 12 + lib/spiral/file_system.dib | 22 +- lib/spiral/file_system.dib.html | 38 +- lib/spiral/file_system.dib.ipynb | 38 +- lib/spiral/file_system.py | 122 +- lib/spiral/file_system.spi | 2 +- lib/spiral/lib.fsx | 17 +- lib/spiral/lib.ps1 | 5 +- lib/spiral/lib_spiral.rs | 10 + lib/spiral/lib_spiral_wasm.rs | 10 + lib/spiral/networking.dib | 24 +- lib/spiral/networking.dib.html | 64 +- lib/spiral/networking.dib.ipynb | 64 +- lib/spiral/networking.py | 114 +- lib/spiral/package.spiproj | 1 + lib/spiral/platform.dib | 125 + lib/spiral/platform.dib.html | 7831 ++ lib/spiral/platform.dib.ipynb | 295 + lib/spiral/platform.fsx | 108 + lib/spiral/platform.rs | 135 + lib/spiral/platform.spi | 67 + lib/spiral/platform.ts | 201 + lib/spiral/platform_.py | 163 + lib/spiral/platform_contract.rs | 135 + lib/spiral/platform_wasm.rs | 135 + lib/spiral/runtime.dib | 94 - lib/spiral/runtime.dib.html | 550 +- lib/spiral/runtime.dib.ipynb | 218 +- lib/spiral/runtime.fsx | 705 +- lib/spiral/runtime.py | 805 +- lib/spiral/runtime.rs | 820 +- lib/spiral/runtime.spi | 58 - lib/spiral/runtime.ts | 1040 +- lib/spiral/runtime_contract.rs | 832 +- lib/spiral/runtime_wasm.rs | 840 +- lib/spiral/sm.py | 112 +- scripts/build.dib.html | 91476 +++++++++-------- scripts/build.dib.ipynb | 91449 ++++++++-------- workspace/Cargo.lock | 165 +- 80 files changed, 117718 insertions(+), 94407 deletions(-) create mode 100644 lib/spiral/env.dib create mode 100644 lib/spiral/env.dib.html create mode 100644 lib/spiral/env.dib.ipynb create mode 100644 lib/spiral/platform.dib create mode 100644 lib/spiral/platform.dib.html create mode 100644 lib/spiral/platform.dib.ipynb create mode 100644 lib/spiral/platform.fsx create mode 100644 lib/spiral/platform.rs create mode 100644 lib/spiral/platform.spi create mode 100644 lib/spiral/platform.ts create mode 100644 lib/spiral/platform_.py create mode 100644 lib/spiral/platform_contract.rs create mode 100644 lib/spiral/platform_wasm.rs diff --git a/apps/parser/JsonParser.dib.html b/apps/parser/JsonParser.dib.html index 713a10ff..7c4e3d34 100644 --- a/apps/parser/JsonParser.dib.html +++ b/apps/parser/JsonParser.dib.html @@ -11087,7 +11087,7 @@

jValue

Success\n (JObject\n (map\n [("bday",\n JObject\n (map\n [("day", JNumber 25.0); ("month", JNumber 12.0);\n ("year", JNumber 2001.0)])); ("emptyArray", JArray []);\n ("emptyObject", JObject (map []));\n ("favouriteColors", ...
Item
(JObject\n (map\n [("bday",\n JObject\n (map\n [("day", JNumber 25.0); ("month", JNumber 12.0);\n ("year", JNumber 2001.0)])); ("emptyArray", JArray []);\n ("emptyObject", JObject (map []));\n ("favouriteColors", JArray [JString "blue"; JString "gr...
Item1
JObject\n (map\n [("bday",\n JObject\n (map\n [("day", JNumber 25.0); ("month", JNumber 12.0);\n ("year", JNumber 2001.0)])); ("emptyArray", JArray []);\n ("emptyObject", JObject (map []));\n ("favouriteColors", JArray [JString "blue"; JString "gre...
Item
keytypevalue
"bday"
-
FSI_0025+JValue+JObject +FSI_0026+JValue+JObject
JObject\n (map\n [("day", JNumber 25.0); ("month", JNumber 12.0); ("year", JNumber 2001.0)])
Item
keyvalue
"day"
 
JNumber 25.0
"month"
 
JNumber 12.0
"year"
@@ -11098,7 +11098,7 @@ 

jValue

IsJObject
true
 
IsJArray
false
 
"emptyArray"
-
FSI_0025+JValue+JArray +FSI_0026+JValue+JArray
JArray []
Item(empty)
IsJString
false
 
IsJNumber
false
 
IsJBool
false
@@ -11106,7 +11106,7 @@ 

jValue

IsJObject
false
 
IsJArray
true
 
"emptyObject"
-
FSI_0025+JValue+JObject +FSI_0026+JValue+JObject
JObject (map [])
Item(empty)
IsJString
false
 
IsJNumber
false
 
IsJBool
false
@@ -11114,7 +11114,7 @@ 

jValue

IsJObject
true
 
IsJArray
false
 
"favouriteColors"
-
FSI_0025+JValue+JArray +FSI_0026+JValue+JArray
JArray [JString "blue"; JString "green"]
Item
indexvalue
0JString "blue"
1JString "green"
IsJString
false
 
IsJNumber
false
 
IsJBool
false
@@ -11122,7 +11122,7 @@ 

jValue

IsJObject
false
 
IsJArray
true
 
"isMale"
-
FSI_0025+JValue+JBool +FSI_0026+JValue+JBool
JBool true
Item
true
 
IsJString
false
 
IsJNumber
false
@@ -11131,7 +11131,7 @@ 

jValue

IsJObject
false
 
IsJArray
false
 
"name"
-
FSI_0025+JValue+JString +FSI_0026+JValue+JString
JString "Scott"
Item
"Scott"
 
IsJString
true
 
IsJNumber
false
@@ -11301,20 +11301,20 @@ 

jValue