blob: c6278ce3927d9d90c523e786cf668324bb33e6c2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
(* TEST
flags = " -w -a "
* setup-ocamlc.byte-build-env
** ocamlc.byte
*** check-ocamlc.byte-output
*)
module Gen_spec = struct type 't extra = unit end
module type S = sig
module Spec : sig type 't extra = unit end
type t
val make : unit -> t Spec.extra
end (* S *)
module Make () : S with module Spec := Gen_spec = struct
type t = int
let make () = ()
end (* Make *)
let () =
let module M = Make () in
M.make ()
(* (M.make () : unit) *)
|
