blob: aa9b7b5e92e92eef0517be5617be87880e4e17bb (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
(* TEST
expect;
*)
module F (X : sig end) = struct type t = int end;;
type t = F(Does_not_exist).t;;
[%%expect{|
module F : functor (X : sig end) -> sig type t = int end
Line 2, characters 9-28:
2 | type t = F(Does_not_exist).t;;
^^^^^^^^^^^^^^^^^^^
Error: Unbound module Does_not_exist
|}];;
|
