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
|
(* TEST
expect;
*)
type foo = int;;
[%%expect{|
type foo = int
|}]
class o =
object(this)
method x : foo = 10
method y : int = this # x
end;;
[%%expect{|
class o : object method x : foo method y : int end
|}]
class o =
object(this)
method x : foo = 10
method y = (this # x : int)
end;;
[%%expect{|
class o : object method x : foo method y : int end
|}]
class o =
object(this)
method x : int = (10 : int)
method y = (this # x : foo)
end;;
[%%expect{|
class o : object method x : int method y : foo end
|}]
|
