Commits

Jun Furuse  committed e43e2df

support open

  • Participants
  • Parent commits 6ffd1ca
  • Branches default

Comments (0)

Files changed (1)

File typing/typemod.ml

          final_env)
     | {pstr_desc = Pstr_open lid; pstr_loc = loc} :: srem ->
         let (path, mty) = type_module_path env loc lid in
+        Spot.Annot.record loc (Spot.Annot.Use (Spot.Kind.Module, path));
         let sg = extract_sig_open env loc mty in
         type_struct (Env.open_signature path sg env) srem
     | {pstr_desc = Pstr_class cl; pstr_loc = loc} :: srem ->