blob: ad025fead291b76a2e52edfa863ce4a590e93762 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
(* TEST
* expect
*)
module Test (S : sig module type S end) (M : S.S) =
struct open M (* should not succeed silently *) end
[%%expect{|
Line 2, characters 14-15:
2 | struct open M (* should not succeed silently *) end
^
Error: This module is not a structure; it has type S.S
|}]
|
