blob: b2a55012f43a11d176af9e971f7f653d772f2890 (
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
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
|
(* TEST
* expect
*)
module Fn = struct
let id x = x
end
;;
[%%expect{|
module Fn : sig val id : 'a -> 'a end
|}]
let f = fun x -> Fn.id x
;;
[%%expect{|
val f : 'a -> 'a = <fun>
|}]
let g = Fn.(fun x -> id x)
let h = let open Fn in fun x -> id x
;;
[%%expect{|
val g : 'a -> 'a = <fun>
val h : 'a -> 'a = <fun>
|}]
let i =
let open struct
let id x = x
end in
fun x -> id x
let iM =
let module M = struct
let id x = x
end in
fun x -> M.id x
;;
[%%expect{|
val i : 'a -> 'a = <fun>
val iM : 'a -> 'a = <fun>
|}]
let j =
let open struct
exception E
let id x = x
end in
fun x -> id x
let jM =
let module M = struct
exception E
let id x = x
end in
fun x -> M.id x
;;
[%%expect{|
val j : '_weak1 -> '_weak1 = <fun>
val jM : '_weak2 -> '_weak2 = <fun>
|}]
module Square(X : sig val x : int end) = struct
let result = X.x * X.x
end
;;
[%%expect{|
module Square : functor (X : sig val x : int end) -> sig val result : int end
|}]
let k =
let open Square(struct let x = 3 end) in
fun x -> x
let kM =
let module M = Square(struct let x = 3 end) in
fun x -> x
;;
[%%expect{|
val k : '_weak3 -> '_weak3 = <fun>
val kM : '_weak4 -> '_weak4 = <fun>
|}]
let op =
let module M = struct
open struct let r = ref [] end
let s = r
end in
M.s
;;
[%%expect{|
val op : '_weak5 list ref = {contents = []}
|}]
|