Merge pull request #416 from Khady/louis/expose-skip

samoht · web-flow · commit b0010bed63a2 · 2025-03-13T09:56:44.000+01:00
engine: expose skip exception
diff --git a/CHANGES.md b/CHANGES.md
@@ -4,6 +4,7 @@
 - BREAKING: `match_raises` now expects the user-defined function to return
   true for expected exceptions. Previously false was interpreted as an
   expected exception. (#418, #419, @psafont)
+- Expose the `V1.Skip` exception (#415, #416, @Khady)
 
 ### 1.8.0 (2024-07-25)
 
diff --git a/src/alcotest-engine/core.ml b/src/alcotest-engine/core.ml
@@ -449,4 +449,6 @@ end
 module V1 = struct
   include V1_types
   module Make = Make
+
+  exception Skip = Skip
 end
diff --git a/src/alcotest-engine/core_intf.ml b/src/alcotest-engine/core_intf.ml
@@ -111,7 +111,6 @@ end
 
 module type Core = sig
   exception Check_error of unit Fmt.t
-  exception Skip
 
   module V1 : sig
     module type S = V1_types.S
@@ -122,5 +121,7 @@ module type Core = sig
         [('a -> unit M.t)] within a given concurrency monad [M.t]. The [run] and
         [run_with_args] functions must be scheduled in a global event loop.
         Intended for use by the {!Alcotest_lwt} and {!Alcotest_async} backends. *)
+
+    exception Skip
   end
 end
diff --git a/src/alcotest-engine/test.ml b/src/alcotest-engine/test.ml
@@ -268,4 +268,4 @@ let match_raises ?here ?pos msg exnp f =
             Fmt.pf ppf "%t%a %s: got %a." (pp_location ?here ?pos) Pp.tag `Fail
               msg Fmt.exn e)
 
-let skip () = raise Core.Skip
+let skip () = raise Core.V1.Skip
