From ab751cbaa819cdf6c4bd1f4bb40f43441ea33419 Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Wed, 8 Sep 2021 15:46:03 +0200 Subject: [PATCH] fix exception documentation --- src/core/QCheck2.mli | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/src/core/QCheck2.mli b/src/core/QCheck2.mli index 9966a09e..4c0d842f 100644 --- a/src/core/QCheck2.mli +++ b/src/core/QCheck2.mli @@ -1701,8 +1701,8 @@ module Test : sig val check_result : 'a cell -> 'a TestResult.t -> unit (** [check_result cell res] checks that [res] is [Ok _], and returns unit. Otherwise, it raises some exception. - @raise Test_error if [res = Error _] - @raise Test_error if [res = Failed _] *) + @raise Test_fail if [res = Failed _] + @raise Test_error if [res = Error _] *) type res = | Success @@ -1750,14 +1750,14 @@ module Test : sig ?step:'a step -> ?handler:'a handler -> ?rand:Random.State.t -> 'a cell -> unit (** Same as {!check_cell} but calls {!check_result} on the result. - @raise Test_error if [res = Error _] - @raise Test_error if [res = Failed _] *) + @raise Test_fail if [res = Failed _] + @raise Test_error if [res = Error _] *) val check_exn : ?long:bool -> ?rand:Random.State.t -> t -> unit (** Checks the property against some test cases, and calls {!check_result}, which might raise an exception in case of failure. - @raise Test_error if [res = Error _] - @raise Test_error if [res = Failed _] *) + @raise Test_fail if [res = Failed _] + @raise Test_error if [res = Error _] *) end (** {2 Sub-tests} *)