blob: 5d84d3772e3a9befcbcf8d3fe8a48164680fee57 (
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
|
(* TEST
* expect
*)
type t = int
module M : sig type t end with type t = [`T of t] =
struct
type t = [`T of t]
end;;
[%%expect{|
type t = int
Line 3, characters 0-31:
3 | struct
| type t = [`T of t]
5 | end..
Error: Signature mismatch:
Modules do not match:
sig type t = [ `T of t ] end
is not included in
sig type t = [ `T of t ] end
Type declarations do not match:
type t = [ `T of t/2 ]
is not included in
type t = [ `T of t/1 ]
Line 1, characters 0-12:
Definition of type t/1
Line 4, characters 2-20:
Definition of type t/2
|}]
|
