From 18b70d086ee58e2964d21177e975be3b247a0bd5 Mon Sep 17 00:00:00 2001 From: Richard Chukwu Date: Fri, 25 Oct 2024 18:33:16 +0100 Subject: [PATCH 01/13] Removed to get main test-suite running on Windows --- tests/dune | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/tests/dune b/tests/dune index 31aec547a..061c0004e 100644 --- a/tests/dune +++ b/tests/dune @@ -1,6 +1,5 @@ (mdx (package eio_main) - (enabled_if (<> %{os_type} "Win32")) (deps (env_var "EIO_BACKEND") - (package eio_main))) + (package eio_main))) \ No newline at end of file From 68f235f3c74f3ca57cb4a5602317a296c66cf57a Mon Sep 17 00:00:00 2001 From: Richard Chukwu Date: Tue, 29 Oct 2024 09:16:07 +0100 Subject: [PATCH 02/13] Windows test running --- tests/domains.md | 2 +- tests/flow.md | 2 +- tests/fs.md | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/tests/domains.md b/tests/domains.md index 886226d6e..04d083c76 100644 --- a/tests/domains.md +++ b/tests/domains.md @@ -202,4 +202,4 @@ domains (as the values may not be thread-safe): traceln "Key => %a" Fmt.(option ~none:(const string "") int) (Fiber.get key);; +Key => - : unit = () -``` +``` \ No newline at end of file diff --git a/tests/flow.md b/tests/flow.md index 02b406194..91579ef9f 100644 --- a/tests/flow.md +++ b/tests/flow.md @@ -219,4 +219,4 @@ Even if a fiber is already ready to run, we still perform IO from time to time: ) +Got "msg" - : unit = () -``` +``` \ No newline at end of file diff --git a/tests/fs.md b/tests/fs.md index 446874ad3..7461314e0 100644 --- a/tests/fs.md +++ b/tests/fs.md @@ -1010,4 +1010,4 @@ Exception: Failure "Simulated error". +"" / "bar" = "bar" +"/" / "" = "/" - : unit = () -``` +``` \ No newline at end of file From c8f851e94aab7a1568edad5cf94e5a40b4a960c0 Mon Sep 17 00:00:00 2001 From: Richard Chukwu Date: Tue, 29 Oct 2024 11:36:55 +0100 Subject: [PATCH 03/13] All .md test files updated --- .vscode/settings.json | 6 ++++++ tests/buf_reader.md | 2 +- tests/buf_write.md | 2 +- tests/condition.md | 2 +- tests/debug.md | 2 +- tests/executor_pool.md | 2 +- tests/exn.md | 2 +- tests/fd_passing.md | 2 +- tests/fiber.md | 1 + tests/lazy.md | 2 +- tests/lf_queue.md | 2 +- tests/mocks.md | 2 +- tests/mutex.md | 2 +- tests/network.md | 4 ++-- tests/pool.md | 2 +- tests/process.md | 2 +- tests/random.md | 2 +- tests/semaphore.md | 2 +- tests/signal.md | 2 +- tests/stream.md | 2 +- tests/switch.md | 2 +- tests/sync.md | 2 +- tests/time.md | 2 +- tests/trace.md | 2 +- 24 files changed, 30 insertions(+), 23 deletions(-) create mode 100644 .vscode/settings.json diff --git a/.vscode/settings.json b/.vscode/settings.json new file mode 100644 index 000000000..0f2eca48d --- /dev/null +++ b/.vscode/settings.json @@ -0,0 +1,6 @@ +{ + "ocaml.sandbox": { + "kind": "opam", + "switch": "5.2.0" + } +} \ No newline at end of file diff --git a/tests/buf_reader.md b/tests/buf_reader.md index cecce486e..6dc97feae 100644 --- a/tests/buf_reader.md +++ b/tests/buf_reader.md @@ -678,4 +678,4 @@ Exception: Failure "Unexpected data after parsing (at offset 4)". + "ba" +flow: read "r\n" - : string * string = ("foo", "bar") -``` +``` \ No newline at end of file diff --git a/tests/buf_write.md b/tests/buf_write.md index a5855d7f8..e09514436 100644 --- a/tests/buf_write.md +++ b/tests/buf_write.md @@ -581,4 +581,4 @@ let to_hex' d = # test 32.25 Write.LE.double Read.LE.double |> to_hex';; - : string = "4040200000000000" -``` +``` \ No newline at end of file diff --git a/tests/condition.md b/tests/condition.md index 8cb5fdfe1..aff248ec1 100644 --- a/tests/condition.md +++ b/tests/condition.md @@ -314,4 +314,4 @@ User function raises: let cond = Eio.Condition.create () in Eio.Condition.loop_no_mutex cond (fun () -> Fiber.yield (); failwith "Simulated failure");; Exception: Failure "Simulated failure". -``` +``` \ No newline at end of file diff --git a/tests/debug.md b/tests/debug.md index febc06905..d359c8a2e 100644 --- a/tests/debug.md +++ b/tests/debug.md @@ -25,4 +25,4 @@ +c ++b - : unit = () -``` +``` \ No newline at end of file diff --git a/tests/executor_pool.md b/tests/executor_pool.md index 1b7afbfdd..ca9227fbe 100644 --- a/tests/executor_pool.md +++ b/tests/executor_pool.md @@ -346,4 +346,4 @@ If the worker is cancelled, the client still gets a reply: +[0] Submitting... +[0] Simulated error Exception: Stdlib.Exit. -``` +``` \ No newline at end of file diff --git a/tests/exn.md b/tests/exn.md index 07435c069..9610e15ca 100644 --- a/tests/exn.md +++ b/tests/exn.md @@ -82,4 +82,4 @@ Eio.Io Multiple_io - Fs Not_found Simulated_failure, opening file 'foo', processing request - Fs Not_found Simulated_failure, opening file 'foo' - : unit = () -``` +``` \ No newline at end of file diff --git a/tests/fd_passing.md b/tests/fd_passing.md index 6d6c86bd0..b4898789c 100644 --- a/tests/fd_passing.md +++ b/tests/fd_passing.md @@ -80,4 +80,4 @@ Using named sockets: +Got: "x" plus 1 FDs +Read: "foo" - : unit = () -``` +``` \ No newline at end of file diff --git a/tests/fiber.md b/tests/fiber.md index fe06a9a93..aab6b0db7 100644 --- a/tests/fiber.md +++ b/tests/fiber.md @@ -1,3 +1,4 @@ + # Setting up the environment ```ocaml diff --git a/tests/lazy.md b/tests/lazy.md index 93f23ea65..3d6eb26a6 100644 --- a/tests/lazy.md +++ b/tests/lazy.md @@ -128,4 +128,4 @@ In restart mode, the second fiber restarts the calculation: +complete +b: 42 - : unit = () -``` +``` \ No newline at end of file diff --git a/tests/lf_queue.md b/tests/lf_queue.md index 9ef280b93..d51668a43 100644 --- a/tests/lf_queue.md +++ b/tests/lf_queue.md @@ -97,4 +97,4 @@ val q : int Q.t = - : int option = Some 5 # Q.pop q;; - : int option = None -``` +``` \ No newline at end of file diff --git a/tests/mocks.md b/tests/mocks.md index 4b0a7ffcd..260c448a6 100644 --- a/tests/mocks.md +++ b/tests/mocks.md @@ -106,4 +106,4 @@ Because it doesn't support multiple threads or domains, it can detect deadlocks: let p, _r = Promise.create () in Promise.await p;; Exception: Eio_mock__Backend.Deadlock_detected. -``` +``` \ No newline at end of file diff --git a/tests/mutex.md b/tests/mutex.md index 47021db5e..e74fe8071 100644 --- a/tests/mutex.md +++ b/tests/mutex.md @@ -253,4 +253,4 @@ If the resource isn't being mutated, we can just unlock on error: +Leaving critical section +Lock still works - : unit = () -``` +``` \ No newline at end of file diff --git a/tests/network.md b/tests/network.md index c22472925..53a330e0b 100644 --- a/tests/network.md +++ b/tests/network.md @@ -610,7 +610,7 @@ Exception: Eio.Io Fs Not_found _, # Eio_main.run @@ fun env -> Eio.Net.getaddrinfo ~service:"https" env#net "google.com";; - : Eio.Net.Sockaddr.t list = -[`Tcp ("Ø:ÔÎ", 443); `Udp ("Ø:ÔÎ", 443); +[`Tcp ("Ø:ÔÎ", 443); `Udp ("Ø:ÔÎ", 443); `Tcp ("*\000\020P@\t\b \000\000\000\000\000\000 \014", 443); `Udp ("*\000\020P@\t\b \000\000\000\000\000\000 \014", 443)] ``` @@ -996,4 +996,4 @@ let _check_types ~(net:Eio_unix.Net.t) = (fun (_flow : [`Generic | `Unix] Eio.Net.stream_socket_ty r) _addr -> assert false); let _client : [`Generic | `Unix] Eio.Net.stream_socket_ty r = Eio.Net.connect ~sw net addr in ();; -``` +``` \ No newline at end of file diff --git a/tests/pool.md b/tests/pool.md index c19c361c8..8905c14af 100644 --- a/tests/pool.md +++ b/tests/pool.md @@ -231,4 +231,4 @@ Dispose fails. We report the error, but still recreate the resource next time: +validate 1 => true +D: using item 1 - : unit = () -``` +``` \ No newline at end of file diff --git a/tests/process.md b/tests/process.md index 165c461e0..a325ed467 100644 --- a/tests/process.md +++ b/tests/process.md @@ -206,4 +206,4 @@ let rec waitpid_with_retry flags pid = waitpid_with_retry [] p |> snd;; hi - : Unix.process_status = Unix.WEXITED 0 -``` +``` \ No newline at end of file diff --git a/tests/random.md b/tests/random.md index dc53d95d7..7e6ac263d 100644 --- a/tests/random.md +++ b/tests/random.md @@ -19,4 +19,4 @@ open Eio.Std Eio.Flow.read_exact src b2; assert (not (Cstruct.equal b1 b2));; - : unit = () -``` +``` \ No newline at end of file diff --git a/tests/semaphore.md b/tests/semaphore.md index 53066f84e..7d50b7226 100644 --- a/tests/semaphore.md +++ b/tests/semaphore.md @@ -93,4 +93,4 @@ Cancellation: +Acquiring +Acquired - : unit = () -``` +``` \ No newline at end of file diff --git a/tests/signal.md b/tests/signal.md index 0d1b5567d..09c4992a0 100644 --- a/tests/signal.md +++ b/tests/signal.md @@ -39,4 +39,4 @@ Prove we can catch sigint: Sys.set_signal Sys.sigint old;; +interrupted! - : unit = () -``` +``` \ No newline at end of file diff --git a/tests/stream.md b/tests/stream.md index c5a035e3b..537ac6340 100644 --- a/tests/stream.md +++ b/tests/stream.md @@ -356,4 +356,4 @@ Non-blocking take with zero-capacity stream: +Reading from stream +Got None from stream - : unit = () -``` +``` \ No newline at end of file diff --git a/tests/switch.md b/tests/switch.md index 29a30c3e4..6f0ba4da5 100644 --- a/tests/switch.md +++ b/tests/switch.md @@ -420,4 +420,4 @@ Exception: Multiple exceptions: - Failure("simulated error") - Failure("cleanup failed") -``` +``` \ No newline at end of file diff --git a/tests/sync.md b/tests/sync.md index d37b90f71..6b4c32a3a 100644 --- a/tests/sync.md +++ b/tests/sync.md @@ -143,4 +143,4 @@ Releasing a semaphore when no-one is waiting for it: +A running: 0 +Now b running: 0 +Finished: 1 -``` +``` \ No newline at end of file diff --git a/tests/time.md b/tests/time.md index 63884c647..74b9f5ca8 100644 --- a/tests/time.md +++ b/tests/time.md @@ -248,4 +248,4 @@ Sleep: +Timeout done +Never finished - : unit = () -``` +``` \ No newline at end of file diff --git a/tests/trace.md b/tests/trace.md index c14f37e60..a51705232 100644 --- a/tests/trace.md +++ b/tests/trace.md @@ -11,4 +11,4 @@ + Bar +Trace with position [trace.md:5] - : unit = () -``` +``` \ No newline at end of file From 1b523f4245efb8dc4aba4babc8580199fe1e39d3 Mon Sep 17 00:00:00 2001 From: Richard Chukwu Date: Tue, 29 Oct 2024 11:47:47 +0100 Subject: [PATCH 04/13] Updated --- .vscode/settings.json | 6 ------ 1 file changed, 6 deletions(-) delete mode 100644 .vscode/settings.json diff --git a/.vscode/settings.json b/.vscode/settings.json deleted file mode 100644 index 0f2eca48d..000000000 --- a/.vscode/settings.json +++ /dev/null @@ -1,6 +0,0 @@ -{ - "ocaml.sandbox": { - "kind": "opam", - "switch": "5.2.0" - } -} \ No newline at end of file From 34c9842b5e51d0e8f23ca0b1d340bbed06c861b7 Mon Sep 17 00:00:00 2001 From: Richard Chukwu Date: Tue, 29 Oct 2024 12:03:28 +0100 Subject: [PATCH 05/13] domains.md test --- tests/dune | 1 + 1 file changed, 1 insertion(+) diff --git a/tests/dune b/tests/dune index 061c0004e..464addecf 100644 --- a/tests/dune +++ b/tests/dune @@ -1,5 +1,6 @@ (mdx (package eio_main) + (files domains.md) (deps (env_var "EIO_BACKEND") (package eio_main))) \ No newline at end of file From a9cc24a2cf55b3c338e7ab55ecd5547c6cf9a615 Mon Sep 17 00:00:00 2001 From: Richard Chukwu Date: Tue, 29 Oct 2024 12:06:51 +0100 Subject: [PATCH 06/13] All tests --- tests/dune | 1 - 1 file changed, 1 deletion(-) diff --git a/tests/dune b/tests/dune index 464addecf..061c0004e 100644 --- a/tests/dune +++ b/tests/dune @@ -1,6 +1,5 @@ (mdx (package eio_main) - (files domains.md) (deps (env_var "EIO_BACKEND") (package eio_main))) \ No newline at end of file From 5076602a8f1360ff32eb1404d994abce58f4d6ef Mon Sep 17 00:00:00 2001 From: Richard Chukwu Date: Tue, 29 Oct 2024 19:18:54 +0100 Subject: [PATCH 07/13] Windows Test --- .vscode/settings.json | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 .vscode/settings.json diff --git a/.vscode/settings.json b/.vscode/settings.json new file mode 100644 index 000000000..15ed94348 --- /dev/null +++ b/.vscode/settings.json @@ -0,0 +1,5 @@ +{ + "ocaml.sandbox": { + "kind": "global" + } +} \ No newline at end of file From dc2a5444e60d6cb7b640b596d0eae4ff6a0467c6 Mon Sep 17 00:00:00 2001 From: Richard Chukwu Date: Wed, 30 Oct 2024 14:48:46 +0100 Subject: [PATCH 08/13] Switch test --- .vscode/settings.json | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.vscode/settings.json b/.vscode/settings.json index 15ed94348..0f2eca48d 100644 --- a/.vscode/settings.json +++ b/.vscode/settings.json @@ -1,5 +1,6 @@ { "ocaml.sandbox": { - "kind": "global" + "kind": "opam", + "switch": "5.2.0" } } \ No newline at end of file From 89843e05b221c808a38f58e771febf431f92bd7b Mon Sep 17 00:00:00 2001 From: Richard Chukwu Date: Fri, 1 Nov 2024 12:40:42 +0100 Subject: [PATCH 09/13] New line added --- tests/buf_reader.md | 2 +- tests/buf_write.md | 2 +- tests/condition.md | 2 +- tests/debug.md | 2 +- tests/domains.md | 2 +- tests/executor_pool.md | 2 +- tests/exn.md | 2 +- tests/fd_passing.md | 2 +- tests/flow.md | 2 +- tests/fs.md | 2 +- tests/lazy.md | 2 +- tests/lf_queue.md | 2 +- tests/mocks.md | 2 +- tests/mutex.md | 2 +- tests/network.md | 2 +- tests/pool.md | 2 +- tests/process.md | 2 +- tests/random.md | 2 +- tests/semaphore.md | 2 +- tests/signal.md | 2 +- tests/stream.md | 2 +- tests/switch.md | 2 +- tests/sync.md | 2 +- tests/time.md | 2 +- tests/trace.md | 2 +- 25 files changed, 25 insertions(+), 25 deletions(-) diff --git a/tests/buf_reader.md b/tests/buf_reader.md index 6dc97feae..cecce486e 100644 --- a/tests/buf_reader.md +++ b/tests/buf_reader.md @@ -678,4 +678,4 @@ Exception: Failure "Unexpected data after parsing (at offset 4)". + "ba" +flow: read "r\n" - : string * string = ("foo", "bar") -``` \ No newline at end of file +``` diff --git a/tests/buf_write.md b/tests/buf_write.md index e09514436..a5855d7f8 100644 --- a/tests/buf_write.md +++ b/tests/buf_write.md @@ -581,4 +581,4 @@ let to_hex' d = # test 32.25 Write.LE.double Read.LE.double |> to_hex';; - : string = "4040200000000000" -``` \ No newline at end of file +``` diff --git a/tests/condition.md b/tests/condition.md index aff248ec1..8cb5fdfe1 100644 --- a/tests/condition.md +++ b/tests/condition.md @@ -314,4 +314,4 @@ User function raises: let cond = Eio.Condition.create () in Eio.Condition.loop_no_mutex cond (fun () -> Fiber.yield (); failwith "Simulated failure");; Exception: Failure "Simulated failure". -``` \ No newline at end of file +``` diff --git a/tests/debug.md b/tests/debug.md index d359c8a2e..febc06905 100644 --- a/tests/debug.md +++ b/tests/debug.md @@ -25,4 +25,4 @@ +c ++b - : unit = () -``` \ No newline at end of file +``` diff --git a/tests/domains.md b/tests/domains.md index 04d083c76..886226d6e 100644 --- a/tests/domains.md +++ b/tests/domains.md @@ -202,4 +202,4 @@ domains (as the values may not be thread-safe): traceln "Key => %a" Fmt.(option ~none:(const string "") int) (Fiber.get key);; +Key => - : unit = () -``` \ No newline at end of file +``` diff --git a/tests/executor_pool.md b/tests/executor_pool.md index ca9227fbe..1b7afbfdd 100644 --- a/tests/executor_pool.md +++ b/tests/executor_pool.md @@ -346,4 +346,4 @@ If the worker is cancelled, the client still gets a reply: +[0] Submitting... +[0] Simulated error Exception: Stdlib.Exit. -``` \ No newline at end of file +``` diff --git a/tests/exn.md b/tests/exn.md index 9610e15ca..07435c069 100644 --- a/tests/exn.md +++ b/tests/exn.md @@ -82,4 +82,4 @@ Eio.Io Multiple_io - Fs Not_found Simulated_failure, opening file 'foo', processing request - Fs Not_found Simulated_failure, opening file 'foo' - : unit = () -``` \ No newline at end of file +``` diff --git a/tests/fd_passing.md b/tests/fd_passing.md index b4898789c..6d6c86bd0 100644 --- a/tests/fd_passing.md +++ b/tests/fd_passing.md @@ -80,4 +80,4 @@ Using named sockets: +Got: "x" plus 1 FDs +Read: "foo" - : unit = () -``` \ No newline at end of file +``` diff --git a/tests/flow.md b/tests/flow.md index 91579ef9f..02b406194 100644 --- a/tests/flow.md +++ b/tests/flow.md @@ -219,4 +219,4 @@ Even if a fiber is already ready to run, we still perform IO from time to time: ) +Got "msg" - : unit = () -``` \ No newline at end of file +``` diff --git a/tests/fs.md b/tests/fs.md index 7461314e0..446874ad3 100644 --- a/tests/fs.md +++ b/tests/fs.md @@ -1010,4 +1010,4 @@ Exception: Failure "Simulated error". +"" / "bar" = "bar" +"/" / "" = "/" - : unit = () -``` \ No newline at end of file +``` diff --git a/tests/lazy.md b/tests/lazy.md index 3d6eb26a6..93f23ea65 100644 --- a/tests/lazy.md +++ b/tests/lazy.md @@ -128,4 +128,4 @@ In restart mode, the second fiber restarts the calculation: +complete +b: 42 - : unit = () -``` \ No newline at end of file +``` diff --git a/tests/lf_queue.md b/tests/lf_queue.md index d51668a43..9ef280b93 100644 --- a/tests/lf_queue.md +++ b/tests/lf_queue.md @@ -97,4 +97,4 @@ val q : int Q.t = - : int option = Some 5 # Q.pop q;; - : int option = None -``` \ No newline at end of file +``` diff --git a/tests/mocks.md b/tests/mocks.md index 260c448a6..4b0a7ffcd 100644 --- a/tests/mocks.md +++ b/tests/mocks.md @@ -106,4 +106,4 @@ Because it doesn't support multiple threads or domains, it can detect deadlocks: let p, _r = Promise.create () in Promise.await p;; Exception: Eio_mock__Backend.Deadlock_detected. -``` \ No newline at end of file +``` diff --git a/tests/mutex.md b/tests/mutex.md index e74fe8071..47021db5e 100644 --- a/tests/mutex.md +++ b/tests/mutex.md @@ -253,4 +253,4 @@ If the resource isn't being mutated, we can just unlock on error: +Leaving critical section +Lock still works - : unit = () -``` \ No newline at end of file +``` diff --git a/tests/network.md b/tests/network.md index 53a330e0b..e77897b6b 100644 --- a/tests/network.md +++ b/tests/network.md @@ -996,4 +996,4 @@ let _check_types ~(net:Eio_unix.Net.t) = (fun (_flow : [`Generic | `Unix] Eio.Net.stream_socket_ty r) _addr -> assert false); let _client : [`Generic | `Unix] Eio.Net.stream_socket_ty r = Eio.Net.connect ~sw net addr in ();; -``` \ No newline at end of file +``` diff --git a/tests/pool.md b/tests/pool.md index 8905c14af..c19c361c8 100644 --- a/tests/pool.md +++ b/tests/pool.md @@ -231,4 +231,4 @@ Dispose fails. We report the error, but still recreate the resource next time: +validate 1 => true +D: using item 1 - : unit = () -``` \ No newline at end of file +``` diff --git a/tests/process.md b/tests/process.md index a325ed467..165c461e0 100644 --- a/tests/process.md +++ b/tests/process.md @@ -206,4 +206,4 @@ let rec waitpid_with_retry flags pid = waitpid_with_retry [] p |> snd;; hi - : Unix.process_status = Unix.WEXITED 0 -``` \ No newline at end of file +``` diff --git a/tests/random.md b/tests/random.md index 7e6ac263d..dc53d95d7 100644 --- a/tests/random.md +++ b/tests/random.md @@ -19,4 +19,4 @@ open Eio.Std Eio.Flow.read_exact src b2; assert (not (Cstruct.equal b1 b2));; - : unit = () -``` \ No newline at end of file +``` diff --git a/tests/semaphore.md b/tests/semaphore.md index 7d50b7226..53066f84e 100644 --- a/tests/semaphore.md +++ b/tests/semaphore.md @@ -93,4 +93,4 @@ Cancellation: +Acquiring +Acquired - : unit = () -``` \ No newline at end of file +``` diff --git a/tests/signal.md b/tests/signal.md index 09c4992a0..0d1b5567d 100644 --- a/tests/signal.md +++ b/tests/signal.md @@ -39,4 +39,4 @@ Prove we can catch sigint: Sys.set_signal Sys.sigint old;; +interrupted! - : unit = () -``` \ No newline at end of file +``` diff --git a/tests/stream.md b/tests/stream.md index 537ac6340..c5a035e3b 100644 --- a/tests/stream.md +++ b/tests/stream.md @@ -356,4 +356,4 @@ Non-blocking take with zero-capacity stream: +Reading from stream +Got None from stream - : unit = () -``` \ No newline at end of file +``` diff --git a/tests/switch.md b/tests/switch.md index 6f0ba4da5..29a30c3e4 100644 --- a/tests/switch.md +++ b/tests/switch.md @@ -420,4 +420,4 @@ Exception: Multiple exceptions: - Failure("simulated error") - Failure("cleanup failed") -``` \ No newline at end of file +``` diff --git a/tests/sync.md b/tests/sync.md index 6b4c32a3a..d37b90f71 100644 --- a/tests/sync.md +++ b/tests/sync.md @@ -143,4 +143,4 @@ Releasing a semaphore when no-one is waiting for it: +A running: 0 +Now b running: 0 +Finished: 1 -``` \ No newline at end of file +``` diff --git a/tests/time.md b/tests/time.md index 74b9f5ca8..63884c647 100644 --- a/tests/time.md +++ b/tests/time.md @@ -248,4 +248,4 @@ Sleep: +Timeout done +Never finished - : unit = () -``` \ No newline at end of file +``` diff --git a/tests/trace.md b/tests/trace.md index a51705232..3d9cec4c1 100644 --- a/tests/trace.md +++ b/tests/trace.md @@ -11,4 +11,4 @@ + Bar +Trace with position [trace.md:5] - : unit = () -``` \ No newline at end of file +```\ From ef117953b16a3c56baceed697544e285b58e54c6 Mon Sep 17 00:00:00 2001 From: Richard Chukwu Date: Fri, 1 Nov 2024 14:39:30 +0100 Subject: [PATCH 10/13] trace.md debug --- tests/trace.md | 11 +---------- 1 file changed, 1 insertion(+), 10 deletions(-) diff --git a/tests/trace.md b/tests/trace.md index 3d9cec4c1..414daf219 100644 --- a/tests/trace.md +++ b/tests/trace.md @@ -2,13 +2,4 @@ # #require "eio_main";; # open Eio.Std;; # Eio_main.run @@ fun _env -> - traceln "One-line trace"; - traceln "@[A nested list@,Foo@,Bar@]"; - traceln "Trace with position" ~__POS__:("trace.md", 5, 1, 10);; -+One-line trace -+A nested list -+ Foo -+ Bar -+Trace with position [trace.md:5] -- : unit = () -```\ +``` From 00d666121cc9a21f64069a0d6e4fe6ac0b1bea00 Mon Sep 17 00:00:00 2001 From: Richard Chukwu Date: Fri, 1 Nov 2024 15:01:40 +0100 Subject: [PATCH 11/13] one-line trace test --- tests/trace.md | 3 +++ 1 file changed, 3 insertions(+) diff --git a/tests/trace.md b/tests/trace.md index 414daf219..f9cd4da30 100644 --- a/tests/trace.md +++ b/tests/trace.md @@ -2,4 +2,7 @@ # #require "eio_main";; # open Eio.Std;; # Eio_main.run @@ fun _env -> + traceln "One-line trace"; ++One-line trace +- : unit = () ``` From a270bfadf5e70f59ed6dd9231bc5ff7fae1e0f4a Mon Sep 17 00:00:00 2001 From: Richard Chukwu Date: Fri, 1 Nov 2024 15:27:00 +0100 Subject: [PATCH 12/13] trace.md minimal test --- .vscode/settings.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.vscode/settings.json b/.vscode/settings.json index 0f2eca48d..5265529d6 100644 --- a/.vscode/settings.json +++ b/.vscode/settings.json @@ -1,6 +1,6 @@ { "ocaml.sandbox": { "kind": "opam", - "switch": "5.2.0" + "switch": "5.2.0+afl" } } \ No newline at end of file From 5f36bd2513106bb45f629eb8223d9dd646b90d11 Mon Sep 17 00:00:00 2001 From: Richard Chukwu Date: Tue, 5 Nov 2024 23:31:00 +0100 Subject: [PATCH 13/13] Tests --- lib_eio_windows/test/dune | 1 - 1 file changed, 1 deletion(-) diff --git a/lib_eio_windows/test/dune b/lib_eio_windows/test/dune index 440913208..a1e99b7f0 100755 --- a/lib_eio_windows/test/dune +++ b/lib_eio_windows/test/dune @@ -1,5 +1,4 @@ (test (name test) (package eio_windows) - (build_if (= %{os_type} "Win32")) (libraries alcotest kcas eio.mock eio_windows))