blob: 6142ea8a82aa99dd230b7df32755f9bd95f978ab (
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
53
54
55
56
57
58
59
60
61
|
(* TEST_BELOW
(* Blank lines added here to preserve locations. *)
*)
class virtual ['subject, 'event] observer =
object
method virtual notify : 'subject -> 'event -> unit
end
class ['event] subject =
object (self : 'subject)
val mutable observers = ([]: (('subject, 'event) observer) list)
method add_observer obs = observers <- (obs :: observers)
method notify_observers (e : 'event) =
List.iter (fun x -> x#notify self e) observers
end
type id = int
class entity (id : id) =
object
val ent_destroy_subject = new subject
method destroy_subject : (id) subject = ent_destroy_subject
method entity_id = id
end
class ['entity] entity_container =
object (self)
inherit ['entity, id] observer as observer
method add_entity (e : 'entity) =
e#destroy_subject#add_observer (self)
method notify _ id = ()
end
let f (x : entity entity_container) = ()
(*
class world =
object
val entity_container : entity entity_container = new entity_container
method add_entity (s : entity) =
entity_container#add_entity (s :> entity)
end
*)
(* TEST
flags = " -w -a ";
ocamlc_byte_exit_status = "2";
setup-ocamlc.byte-build-env;
ocamlc.byte;
check-ocamlc.byte-output;
*)
|
