blob: a13be7ae8507e47a9d5c9ea048ccc44a9cca8abc (
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
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
|
(* TEST
expect;
*)
module M = struct
type t
end;;
[%%expect{|
module M : sig type t end
|}]
module type Accepted = sig
type t := int
type 'a u := 'a list
type 'a v := (string * 'a) list
module T := M
type _ w := T.t
val f : t u -> char w v
end;;
[%%expect{|
module type Accepted = sig val f : int list -> (string * M.t) list end
|}]
module F(X : sig type t end) = struct
type t = X.t
end;;
[%%expect{|
module F : functor (X : sig type t end) -> sig type t = X.t end
|}]
module type Accepted2 = sig
module N := F(M)
val foo : N.t -> int
end;;
[%%expect{|
module type Accepted2 = sig val foo : F(M).t -> int end
|}]
module type Reject1 = sig
module M := Funct(M)
end;;
[%%expect{|
Line 2, characters 14-22:
2 | module M := Funct(M)
^^^^^^^^
Error: Unbound module Funct
Hint: Did you mean Fun?
|}]
module type Reject2 = sig
module M := F(N)
end;;
[%%expect{|
Line 2, characters 14-18:
2 | module M := F(N)
^^^^
Error: Unbound module N
|}]
module type Reject3 = sig
type t := u
end;;
[%%expect{|
Line 2, characters 12-13:
2 | type t := u
^
Error: Unbound type constructor u
|}]
module type RejectRec = sig
type t := [ `Foo of t | `Nil ]
end;;
[%%expect{|
Line 2, characters 22-23:
2 | type t := [ `Foo of t | `Nil ]
^
Error: Unbound type constructor t
|}]
module type AcceptAnd = sig
type t := int
and u := int * int
end;;
[%%expect{|
module type AcceptAnd = sig end
|}]
module type RejectAnd = sig
type t := int
and u := t * int
end;;
[%%expect{|
Line 3, characters 11-12:
3 | and u := t * int
^
Error: Unbound type constructor t
|}]
type ('a, 'b) foo = Foo
type 'a s = 'b list constraint 'a = (int, 'b) foo
module type S = sig
type 'a t := 'a s * bool
type 'a bar = (int, 'a) foo
val x : string bar t
end
[%%expect{|
type ('a, 'b) foo = Foo
type 'a s = 'b list constraint 'a = (int, 'b) foo
Line 6, characters 2-26:
6 | type 'a t := 'a s * bool
^^^^^^^^^^^^^^^^^^^^^^^^
Error: Destructive substitutions are not supported for constrained
types (other than when replacing a type constructor with
a type constructor with the same arguments).
|}]
|
