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
|
module type S = functor () -> sig end
module type S = functor () () -> sig end
module type M = functor () -> sig end
module type M = functor (S : S) -> sig end
module type M = functor (S : S) (T : T) -> sig end
module type M = functor (S : S) (T : T) -> U
module type M = functor (S : S) () -> sig end
module type M = functor
(SSSSS : SSSSSSSSSSSSSS)
(TTTTT : TTTTTTTTTTTTTTTT)
-> sig
val t1 : a
val t2 : b
end
module M : functor () -> sig end = functor () -> struct end
module M = (functor (S : S) -> struct end) (S)
module M = (functor (S : S) (T : T) -> struct end) (S) (T)
module M = (functor (S : S) (T : T) -> struct end : U) (S) (T)
module M = (functor (S : S) () -> struct end : U) (S) (T)
module M = (functor (S : S) (T : T) -> (struct end : U)) (S) (T)
module rec A (S : S) = S
module type S = sig
module rec A : functor (S : S) -> S
end
module M =
(functor
(SSSSS : sssssSSSSSSSSSSSSSS)
(TTTTT : TTTTTTTTTTTTTTTTTTTTT)
->
struct
let x = 2
let y = 3
end)
(S)
(T)
module type Module_type_fail = sig
include S
module F : functor (_ : T) -> sig end
include S
end
module type KV_MAKER = functor (G : Irmin_git.G) (C : Irmin.Contents.S) ->
S
with type key = string list
and type step = string
and type contents = C.t
and type branch = string
and module Git = G
module Make
(TT : TableFormat.TABLES)
(IT :
InspectionTableFormat.TABLES__________________________________________)
(ET :
EngineTypes.TABLE
with type terminal = int
and type nonterminal = int
and type semantic_value = Obj.t)
(E : sig
type 'a env = (ET.state, ET.semantic_value, ET.token) EngineTypes.env
end) =
struct
type t = t
end
module Make
(TT : TableFormat.TABLES)
(IT :
InspectionTableFormat.TABLES__________________________________________) =
struct
type t = t
end
(* Long syntax should be preserved *)
module M = functor (_ : S) -> struct end
module M (_ : S) = struct end
module M : functor (_ : S) -> S' = functor (_ : S) -> struct end
module type SETFUNCTOR = (Elt : ORDERED_TYPE) -> sig end
module WrongSet : (Elt : ORDERED_TYPE) -> SET = Set
module M : (A : S) (B : S) -> S = N
module M : (A : S) -> (B : S) -> S = N
module M : functor (A : S) -> (B : S) -> S = N
module M : functor (A : S) -> functor (B : S) -> S = N
module M : functor (A : S) (B : S) -> S = N
module M : functor (A : S) -> functor (B : S) -> S = N
module M : (A : S) -> functor (B : S) -> S = N
[@@@ocamlformat "break-struct=natural"]
module M = F ((struct type t end : sig type t end))
module M = struct type t end
module type S = sig type t end
|
