blob: c10fb3ba03b462e53e901d9eefdd9846fd917c0d (
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
|
structure M = struct
signature S = sig
type t
end
end
structure N : M.S = struct
type t = int
end
structure M' = struct
type t = int
val y = 42
signature S = sig
val x : t
end
end
structure N' : M'.S = struct
val x = 0
end
signature S = sig
type t
val y : t
signature S = sig
val x : t
end
end
structure M'S : S = M'
structure V : M'S.S = struct
val x = M'S.y
end
structure M'S' = M'S
structure V : M'S'.S = struct
val x = M'S.y
end
|
