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
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
|
(* TEST
* expect
*)
(** Test the error message for existential types apparearing
in unexpected position *)
type any = Any: 'a -> any
[%%expect {|
type any = Any : 'a -> any
|}]
let Any x = Any ()
[%%expect {|
Line 1, characters 4-9:
1 | let Any x = Any ()
^^^^^
Error: Existential types are not allowed in toplevel bindings,
but this pattern introduces the existential type $Any_'a.
|}]
let () =
let Any x = Any () and () = () in
()
[%%expect {|
Line 2, characters 6-11:
2 | let Any x = Any () and () = () in
^^^^^
Error: Existential types are not allowed in "let ... and ..." bindings,
but this pattern introduces the existential type $Any_'a.
|}]
let () =
let rec Any x = Any () in
()
[%%expect {|
Line 2, characters 10-15:
2 | let rec Any x = Any () in
^^^^^
Error: Existential types are not allowed in recursive bindings,
but this pattern introduces the existential type $Any_'a.
|}]
let () =
let[@attribute] Any x = Any () in
()
[%%expect {|
Line 2, characters 18-23:
2 | let[@attribute] Any x = Any () in
^^^^^
Error: Existential types are not allowed in presence of attributes,
but this pattern introduces the existential type $Any_'a.
|}]
class c (Any x) = object end
[%%expect {|
Line 1, characters 8-15:
1 | class c (Any x) = object end
^^^^^^^
Error: Existential types are not allowed in class arguments,
but this pattern introduces the existential type $Any_'a.
|}]
class c = object(Any x)end
[%%expect {|
Line 1, characters 16-23:
1 | class c = object(Any x)end
^^^^^^^
Error: Existential types are not allowed in self patterns,
but this pattern introduces the existential type $Any_'a.
|}]
type other = Any: _ -> other
[%%expect {|
type other = Any : 'a -> other
|}]
let Any x = Any ()
[%%expect {|
Line 1, characters 4-9:
1 | let Any x = Any ()
^^^^^
Error: Existential types are not allowed in toplevel bindings,
but the constructor Any introduces existential types.
|}]
class c = let Any _x = () in object end
[%%expect {|
Line 1, characters 14-20:
1 | class c = let Any _x = () in object end
^^^^^^
Error: Existential types are not allowed in bindings inside class definition,
but the constructor Any introduces existential types.
|}]
let () =
let Any x = Any () and () = () in
()
[%%expect {|
Line 2, characters 6-11:
2 | let Any x = Any () and () = () in
^^^^^
Error: Existential types are not allowed in "let ... and ..." bindings,
but the constructor Any introduces existential types.
|}]
let () =
let rec Any x = Any () in
()
[%%expect {|
Line 2, characters 10-15:
2 | let rec Any x = Any () in
^^^^^
Error: Existential types are not allowed in recursive bindings,
but the constructor Any introduces existential types.
|}]
let () =
let[@attribute] Any x = Any () in
()
[%%expect {|
Line 2, characters 18-23:
2 | let[@attribute] Any x = Any () in
^^^^^
Error: Existential types are not allowed in presence of attributes,
but the constructor Any introduces existential types.
|}]
class c (Any x) = object end
[%%expect {|
Line 1, characters 8-15:
1 | class c (Any x) = object end
^^^^^^^
Error: Existential types are not allowed in class arguments,
but the constructor Any introduces existential types.
|}]
class c = object(Any x) end
[%%expect {|
Line 1, characters 16-23:
1 | class c = object(Any x) end
^^^^^^^
Error: Existential types are not allowed in self patterns,
but the constructor Any introduces existential types.
|}]
class c = let Any _x = () in object end
[%%expect {|
Line 1, characters 14-20:
1 | class c = let Any _x = () in object end
^^^^^^
Error: Existential types are not allowed in bindings inside class definition,
but the constructor Any introduces existential types.
|}]
|
