blob: cce02f41a2132b2c52598edc866df9bb4a4d5de5 (
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
|
(* TEST
* expect
*)
(* From jctis: <https://github.com/ocaml/ocaml/issues/10399> *)
module PR10399 : sig
type t = < x : int >
class c : object method x : int method y : bool end
val o : t
end = struct
type t = < x : int >
class c = object method x = 3 method y = true end
let o = new c
end
[%%expect{|
Lines 7-13, characters 6-3:
7 | ......struct
8 | type t = < x : int >
9 |
10 | class c = object method x = 3 method y = true end
11 |
12 | let o = new c
13 | end
Error: Signature mismatch:
Modules do not match:
sig
type t = < x : int >
class c : object method x : int method y : bool end
val o : c
end
is not included in
sig
type t = < x : int >
class c : object method x : int method y : bool end
val o : t
end
Values do not match: val o : c is not included in val o : t
The type c is not compatible with the type t
The second object type has no method y
|}]
|
