Fix missing entries in module map in Lang_of

jonludlam · jonludlam · commit 9a297a8cfbca · 2024-08-27T16:42:36.000+01:00
diff --git a/src/xref2/lang_of.ml b/src/xref2/lang_of.ml
@@ -611,6 +611,7 @@ and simple_expansion :
           map with
           functor_parameter =
             (arg.id, param_identifier) :: map.functor_parameter;
+          module_ = Component.ModuleMap.add arg.id param_identifier map.module_;
         }
       in
       let arg = functor_parameter map arg in
@@ -825,6 +826,7 @@ and module_type_expr map identifier = function
         {
           map with
           functor_parameter = (arg.id, identifier') :: map.functor_parameter;
+          module_ = Component.ModuleMap.add arg.id identifier' map.module_;
         }
       in
       Functor

Original file line number	Diff line number	Diff line change
`@@ -611,6 +611,7 @@ and simple_expansion :`
`611`	`611`	`map with`
`612`	`612`	`functor_parameter =`
`613`	`613`	`(arg.id, param_identifier) :: map.functor_parameter;`
	`614`	`+ module_ = Component.ModuleMap.add arg.id param_identifier map.module_;`
`614`	`615`	`}`
`615`	`616`	`in`
`616`	`617`	`let arg = functor_parameter map arg in`
`@@ -825,6 +826,7 @@ and module_type_expr map identifier = function`
`825`	`826`	`{`
`826`	`827`	`map with`
`827`	`828`	`functor_parameter = (arg.id, identifier') :: map.functor_parameter;`
	`829`	`+ module_ = Component.ModuleMap.add arg.id identifier' map.module_;`
`828`	`830`	`}`
`829`	`831`	`in`
`830`	`832`	`Functor`