blob: 58a9509cd70b1347df3190f2e01cefb13fe32b11 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
(* TEST
* expect
*)
module type S = sig type t end
module Res_ko =
(functor (X : S) -> X)(struct type t = int end)
[%%expect{|
module type S = sig type t end
module Res_ko : sig type t = int end
|}]
module Res_ok2 =
(functor (X : S) -> struct include X end) (struct type t = int end)
[%%expect{|
module Res_ok2 : sig type t = int end
|}]
module Res_ok3 =
(functor (X : S) -> struct type t = X.t end) (struct type t = int end)
[%%expect{|
module Res_ok3 : sig type t = int end
|}]
|
