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
|
(* TEST
expect;
*)
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
;;
[%%expect{|
Line 15, characters 50-54:
15 | let args = List.map (fun ty -> new argument(self, ty)) args_ty in
^^^^
Error: The value "self" has type "< arguments : 'a; .. >"
but an expression was expected of type "'b"
Self type cannot escape its class
|}]
|
