blob: d1f8f9eafebcd8b9ae48a5cae5153e30ed75835c (
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
|}]
|