Skip to content

Commit 73aea60

Browse files
committed
disable unused functor parameter warning
unnammed functor parameters are older than 4.03
1 parent bb486c3 commit 73aea60

File tree

4 files changed

+5
-4
lines changed

4 files changed

+5
-4
lines changed

lib/dep_zipper.mli

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5,3 +5,4 @@ module Outline(Env : Stage.envt):
55

66
module Make(Env:Stage.envt)(Param:Stage.param):
77
Stage.outliner with type envt := Env.t
8+
[@@warning "-67"]

lib/schematic.mli

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -22,7 +22,7 @@ end
2222
module type label = sig type t val l:string end
2323
type 'a label = (module label with type t = 'a)
2424
module Label: functor(X:sig val l:string end) ->
25-
sig type t val l: t label end
25+
sig type t val l: t label end[@@warning "-unused-functor-parameter"]
2626

2727
val show: 'a label -> string
2828

lib/solver.mli

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -104,7 +104,7 @@ module Make
104104
(** Solve **)
105105
val solve: Envt.t -> Unit.s list Unit.pair -> Unit.r list Unit.pair
106106

107-
end
107+
end[@@warning "-67"]
108108

109109
(** Alternative solver *)
110110
module Directed
@@ -150,4 +150,4 @@ sig
150150
val solve: loader -> entry list -> Envt.t -> Namespaced.t list
151151
-> Envt.t * Unit.r list
152152

153-
end
153+
end[@@warning "-67"]

lib/zipper_pp.mli

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -22,6 +22,6 @@ end
2222

2323
module Make(Def:Zipper_def.s)(R:Result_printer with module T := Def.T): sig
2424
val pp: Zipper_skeleton.path_in_context Def.zipper Pp.t
25-
end
25+
end[@@warning "-67"]
2626

2727
module Opaque(Def:Zipper_def.s) : Result_printer with module T := Def.T

0 commit comments

Comments
 (0)