blob: 1b3ac74d3d63083b58383193e00ef413146f0cb3 (
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
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
|
(* TEST
flags = " -w A -strict-sequence "
* expect
*)
module A = struct type foo end;;
[%%expect {|
module A : sig type foo end
|}]
module rec B : sig
open A
type bar = Bar of foo
end = B;;
[%%expect {|
module rec B : sig type bar = Bar of A.foo end
|}]
module rec C : sig
open A
end = C;;
[%%expect {|
Line 2, characters 2-8:
2 | open A
^^^^^^
Warning 33: unused open A.
module rec C : sig end
|}]
module rec D : sig
module M : module type of struct
module X : sig end = struct
open A
let None = None
end
end
end = D;;
[%%expect {|
Line 5, characters 10-14:
5 | let None = None
^^^^
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a case that is not matched:
Some _
Line 4, characters 6-12:
4 | open A
^^^^^^
Warning 33: unused open A.
module rec D : sig module M : sig module X : sig end end end
|}]
|