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
|
File "pr4018_bad.ml", line 42, characters 11-17:
42 | let f (x : entity entity_container) = ()
^^^^^^
Error: This type "entity" = "< destroy_subject : id subject; entity_id : id >"
should be an instance of type
"< destroy_subject : < add_observer : 'a entity_container -> 'b; .. >;
.. >
as 'a"
Type
"id subject" =
"< add_observer : (id subject, id) observer -> unit;
notify_observers : id -> unit >"
is not compatible with type
"< add_observer : < destroy_subject : 'c; .. > entity_container -> 'b;
.. >
as 'c"
Type "(id subject, id) observer" = "< notify : id subject -> id -> unit >"
is not compatible with type
"(< destroy_subject : < add_observer : 'd -> 'b; .. >; .. > as 'a)
entity_container as 'd" =
"< add_entity : 'a -> 'b; notify : 'a -> id -> unit >"
The method "add_observer" has type "(id subject, id) observer -> unit",
but the expected method type was
"< destroy_subject : < add_observer : 'e; .. >; .. > entity_container ->
'b as 'e"
|
