blob: f311f607b249620035541efa110524e4153fb84a (
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
|
(* TEST
* toplevel
*)
class virtual name =
object
end
and func (args_ty, ret_ty) =
object(self)
inherit name
val mutable memo_args = None
method arguments =
match memo_args with
| Some xs -> xs
| None ->
let args = List.map (fun ty -> new argument(self, ty)) args_ty in
memo_args <- Some args; args
end
and argument (func, ty) =
object
inherit name
end
;;
|