tests

i574n · May 18, 2024 · b054e49 · b054e49
1 parent f8afbd6
commit b054e49
Show file tree

Hide file tree

Showing 6 changed files with 412 additions and 382 deletions.
diff --git a/apps/spiral/builder/spiral_builder.fsx b/apps/spiral/builder/spiral_builder.fsx
diff --git a/apps/spiral/builder/spiral_builder.rs b/apps/spiral/builder/spiral_builder.rs
diff --git a/lib/spiral/am'.dib b/lib/spiral/am'.dib
@@ -524,7 +524,9 @@ inl vec_for_each forall t. (fn : t -> ()) (ar : vec t) : () =
 #!spiral
 
 inl vec_for_each' forall t. (fn : t -> ()) (ar : vec t) : () =
-    !\\((ar, fn), $'"$0.into_iter().for_each(|x| { $1(x); })"')
+    (!\($'"true; !ar.into_iter().for_each(|x| { //"') : bool) |> ignore
+    inl x = fn !\($'"x"')
+    (!\($'"true; !x })"') : bool) |> ignore
 
 #!markdown
 

diff --git a/lib/spiral/am'.spi b/lib/spiral/am'.spi
@@ -233,7 +233,9 @@ inl vec_for_each forall t. (fn : t -> ()) (ar : vec t) : () =
 
 /// ## vec_for_each'
 inl vec_for_each' forall t. (fn : t -> ()) (ar : vec t) : () =
-    !\\((ar, fn), $'"$0.into_iter().for_each(|x| { $1(x); })"')
+    (!\($'"true; !ar.into_iter().for_each(|x| { //"') : bool) |> ignore
+    inl x = fn !\($'"x"')
+    (!\($'"true; !x })"') : bool) |> ignore
 
 /// ## vec_filter
 inl vec_filter forall t. (fn : t -> bool) (ar : vec t) : vec t =

diff --git a/lib/spiral/runtime.dib b/lib/spiral/runtime.dib
@@ -1091,7 +1091,7 @@ let execute_with_options (options : execution_options) : i32 * string =
                             inl std_trace =
                                 channel_receiver
                                 |> optionm'.box
-                                |> optionm'.map'' fun channel_receiver =>
+                                |> optionm'.map' fun channel_receiver =>
                                     channel_receiver
                                     |> threading.arc_mutex_lock
                                     |> resultm.unwrap'

diff --git a/lib/spiral/runtime.spi b/lib/spiral/runtime.spi
@@ -657,7 +657,7 @@ let execute_with_options (options : execution_options) : i32 * string =
                             inl std_trace =
                                 channel_receiver
                                 |> optionm'.box
-                                |> optionm'.map'' fun channel_receiver =>
+                                |> optionm'.map' fun channel_receiver =>
                                     channel_receiver
                                     |> threading.arc_mutex_lock
                                     |> resultm.unwrap'