blob: 0432f082a3d9224b4be6159aa085a42a7d774c5c (
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
26
27
28
29
30
31
32
33
|
(* TEST_BELOW
(* Blank lines added here to preserve locations. *)
*)
(* Same example as in tests/typing-sigsubst/sigsubst.ml, but not as an
expect_test so we get the full error. *)
module type Printable = sig
type t
val print : t -> unit
end
module type Comparable = sig
type t
val compare : t -> t -> int
end
module type PrintableComparable = sig
include Printable
include Comparable with type t = t
end
(* TEST
flags = "-nostdlib -nopervasives";
setup-ocamlc.byte-build-env;
ocamlc_byte_exit_status = "2";
ocamlc.byte;
check-ocamlc.byte-output;
*)
|