File tree Expand file tree Collapse file tree 1 file changed +3
-3
lines changed Expand file tree Collapse file tree 1 file changed +3
-3
lines changed Original file line number Diff line number Diff line change @@ -531,16 +531,16 @@ and read_module_type env parent label_parent mty =
531
531
Functor (f_parameter, res)
532
532
#else
533
533
| Tmty_functor (id , _ , arg , res ) ->
534
- let new_env = Env. add_parameter parent id (ModuleName. of_ident id) env in
534
+ let () = Env. add_parameter parent id (ModuleName. of_ident id) env in
535
535
let f_parameter =
536
536
match arg with
537
537
| None -> Odoc_model.Lang.FunctorParameter. Unit
538
538
| Some arg ->
539
- let id = Ident_env. find_parameter_identifier new_env id in
539
+ let id = Ident_env. find_parameter_identifier env id in
540
540
let arg = read_module_type env (id :> Identifier.Signature.t ) label_parent arg in
541
541
Named { FunctorParameter. id; expr = arg }
542
542
in
543
- let res = read_module_type new_env (Identifier.Mk. result parent) label_parent res in
543
+ let res = read_module_type () (Identifier.Mk. result parent) label_parent res in
544
544
Functor ( f_parameter, res)
545
545
#endif
546
546
| Tmty_with (body , subs ) -> (
You can’t perform that action at this time.
0 commit comments