blob: 236f7e1d5bd844bdba6aade204bf8d5caa405b24 (
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
51
52
|
(* TEST
* expect
*)
class type virtual ['a] c = object constraint 'a = [<`A of int & float] end
[%%expect {|
Line 1, characters 0-75:
1 | class type virtual ['a] c = object constraint 'a = [<`A of int & float] end
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Error: The type of this class,
class virtual ['a] c :
object constraint '_a = [< `A of int & float ] as '_weak1 end,
contains non-collapsible conjunctive types in constraints.
Type int is not compatible with type float
|}]
class type ct = object
method x : int
end
class c (y : 'a * float) : ct = object
method x = y
end
[%%expect{|
class type ct = object method x : int end
Lines 5-7, characters 32-3:
5 | ................................object
6 | method x = y
7 | end
Error: The class type object method x : 'a * float end
is not matched by the class type ct
The class type object method x : 'a * float end
is not matched by the class type object method x : int end
The method x has type 'a * float but is expected to have type int
Type 'a * float is not compatible with type int
|}]
let foo = 42#m;;
[%%expect{|
Line 1, characters 10-12:
1 | let foo = 42#m;;
^^
Error: This expression is not an object; it has type int
|}]
let foo = object (self) method foo = self#bar end;;
[%%expect{|
Line 1, characters 37-41:
1 | let foo = object (self) method foo = self#bar end;;
^^^^
Error: This expression has no method bar
|}]
|
