Browse Source

Fix remap vs module resolution for sub types

Rudy Ges 3 months ago
parent
commit
4638cb11fa
1 changed files with 1 additions and 1 deletions
  1. 1 1
      src/typing/typeloadParse.ml

+ 1 - 1
src/typing/typeloadParse.ml

@@ -325,7 +325,7 @@ let parse_module com m p =
 										TPType (make_ptp_th_null (mk_type_path ([],fst tp.tp_name)))
 									) d.d_params
 								in
-								mk_type_path ~params (!remap,fst d.d_name)
+								mk_type_path ~params ~sub:(fst d.d_name) (!remap,snd m)
 						in
 						make_ptp_th_null tp
 					end