blob: dd8546c32feb8f34c604a6dea1d41787103ca34c (
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
34
35
36
37
38
39
40
41
42
43
|
(* TEST
flags = "-c -nostdlib -nopervasives -dlambda -dno-unique-ids"
* setup-ocamlc.byte-build-env
** ocamlc.byte
*** check-ocamlc.byte-output
compiler_reference = "${test_source_directory}/anonymous.ocamlc.reference"
* setup-ocamlopt.byte-build-env
** ocamlopt.byte
*** no-flambda
**** check-ocamlopt.byte-output
compiler_reference = "${test_source_directory}/anonymous.ocamlopt.reference"
*** flambda
**** check-ocamlc.byte-output
compiler_reference =
"${test_source_directory}/anonymous.ocamlopt.flambda.reference"
*)
module _ = struct
let x = 13, 37
end
module rec A : sig
type t = B.t
end = A
and _ : sig
type t = A.t
val x : int * int
end = struct
type t = B.t
let x = 4, 2
end
and B : sig
type t
end = struct
type t
let x = "foo", "bar"
end
module type S
let f (module _ : S) = ()
|
