Skip to content

Commit 04827d0

Browse files
committed
Silence unused-functor-parameter warnings in lin_domain, lin_effect, and lin_thread
1 parent 7b956da commit 04827d0

File tree

3 files changed

+5
-2
lines changed

3 files changed

+5
-2
lines changed

lib/lin_domain.mli

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -33,4 +33,4 @@ module Make (Spec : Spec) : sig
3333
raised underway. It is intended as a stress test to run operations at a
3434
high frequency and detect unexpected exceptions or crashes. It does not
3535
perform an interleaving search like {!lin_test} and {!neg_lin_test}. *)
36-
end
36+
end [@@warning "-unused-functor-parameter"]

lib/lin_effect.mli

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -11,6 +11,7 @@ module Make_internal (Spec : Internal.CmdSpec [@alert "-internal"]) : sig
1111
val neg_lin_test : count:int -> name:string -> QCheck.Test.t
1212
end
1313
[@@alert internal "This module is exposed for internal uses only, its API may change at any time"]
14+
[@@warning "-unused-functor-parameter"]
1415

1516
val fork : (unit -> unit) -> unit
1617
(** Helper function to fork a process in the underlying {!Stdlib.Effect}-based scheduler
@@ -36,4 +37,5 @@ module Make (Spec : Spec) : sig
3637
afterwards.
3738
*)
3839
end
39-
[@@alert experimental "This module is experimental: The interface is not considered stable, and it may fail to trigger concurrency issues that are present."]
40+
[@@alert experimental "This module is experimental: The interface is not considered stable, and it may fail to trigger concurrency issues that are present."]
41+
[@@warning "-unused-functor-parameter"]

lib/lin_thread.mli

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -44,3 +44,4 @@ module Make (Spec : Spec) : sig
4444
afterwards.
4545
*)
4646
end
47+
[@@warning "-unused-functor-parameter"]

0 commit comments

Comments
 (0)