blob: a027c0b0909cce4ec5dc2c10e0ee3bb963a00346 (
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
|