blob: 766030b34c227db8668025b6b5970b0fc756f660 (
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;
*)
type 't a = [ `A ]
type 't wrap = 't constraint 't = [> 't wrap a ]
type t = t a wrap
module T = struct
let foo : 't wrap -> 't wrap -> unit = fun _ _ -> ()
let bar : ('a a wrap as 'a) = `A
end
module Good : sig
val bar: t
val foo: t -> t -> unit
end = T
module Bad : sig
val foo: t -> t -> unit
val bar: t
end = T
|