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 =
531531 Functor (f_parameter, res)
532532#else
533533 | 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
535535 let f_parameter =
536536 match arg with
537537 | None -> Odoc_model.Lang.FunctorParameter. Unit
538538 | 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
540540 let arg = read_module_type env (id :> Identifier.Signature.t ) label_parent arg in
541541 Named { FunctorParameter. id; expr = arg }
542542 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
544544 Functor ( f_parameter, res)
545545#endif
546546 | Tmty_with (body , subs ) -> (
You can’t perform that action at this time.
0 commit comments