@@ -48,7 +48,8 @@ let addItem ~name ~extent ~stamp ~env ~item attributes exported stamps =
48
48
Hashtbl. add stamps stamp declared;
49
49
declared
50
50
51
- let rec forSignatureTypeItem env (exported : SharedTypes.exported ) item =
51
+ let rec forTypeSignatureItem ~env ~(exported : SharedTypes.exported )
52
+ (item : Types.signature_item ) =
52
53
let open Types in
53
54
match item with
54
55
| Sig_value (ident , {val_type; val_attributes; val_loc = loc } ) ->
@@ -145,7 +146,7 @@ and forSignatureType env signature =
145
146
let exported = initExported () in
146
147
let topLevel =
147
148
List. fold_right
148
- (fun item items -> forSignatureTypeItem env exported item @ items)
149
+ (fun item items -> forTypeSignatureItem ~ env ~ exported item @ items)
149
150
signature []
150
151
in
151
152
{docstring = [] ; exported; topLevel}
@@ -222,7 +223,8 @@ let forTypeDeclaration ~env ~(exported : exported)
222
223
in
223
224
{declared with item = MType (declared.item, recStatus)}
224
225
225
- let forSignatureItem ~env ~(exported : exported ) item =
226
+ let forSignatureItem ~env ~(exported : exported )
227
+ (item : Typedtree.signature_item ) =
226
228
match item.sig_desc with
227
229
| Tsig_value {val_id; val_loc; val_name = name ; val_desc; val_attributes} ->
228
230
let declared =
@@ -259,7 +261,7 @@ let forSignatureItem ~env ~(exported : exported) item =
259
261
in
260
262
let topLevel =
261
263
List. fold_right
262
- (fun item items -> forSignatureTypeItem env exported item @ items)
264
+ (fun item items -> forTypeSignatureItem ~ env ~ exported item @ items)
263
265
incl_type []
264
266
in
265
267
topLevel
@@ -364,7 +366,7 @@ let rec forItem ~env ~(exported : exported) item =
364
366
in
365
367
let topLevel =
366
368
List. fold_right
367
- (fun item items -> forSignatureTypeItem env exported item @ items)
369
+ (fun item items -> forTypeSignatureItem ~ env ~ exported item @ items)
368
370
incl_type []
369
371
in
370
372
topLevel
0 commit comments