More debug tweak.

Author: cristianoc

analysis/.depend

@@ -25,8 +25,8 @@ src/PrepareUtils.cmx :
 src/PrintType.cmx : src/vendor/res_outcome_printer/res_outcome_printer.cmx \
     src/vendor/res_outcome_printer/res_doc.cmx
 src/ProcessAttributes.cmx : src/SharedTypes.cmx src/PrepareUtils.cmx
-src/ProcessCmt.cmx : src/Utils.cmx src/Uri2.cmx src/SharedTypes.cmx \
-    src/Shared.cmx src/ProcessAttributes.cmx src/Log.cmx src/Files.cmx
+src/ProcessCmt.cmx : src/Utils.cmx src/SharedTypes.cmx src/Shared.cmx \
+    src/ProcessAttributes.cmx src/Log.cmx src/Files.cmx
 src/Protocol.cmx : src/vendor/Json.cmx
 src/References.cmx : src/Utils.cmx src/Uri2.cmx src/SharedTypes.cmx \
     src/Shared.cmx src/ProcessCmt.cmx src/Log.cmx src/Infix.cmx src/Cmt.cmx

analysis/src/ProcessCmt.ml

@@ -1262,8 +1262,7 @@ let fileForModule modname ~package =
     (* TODO: do better *)
     let cmt = SharedTypes.getCmtPath ~interface:false paths in
     let uri = SharedTypes.getUri paths in
-    Log.log ("FINDING docs for module " ^ SharedTypes.showPaths paths);
-    Log.log ("FINDING " ^ cmt ^ " uri " ^ Uri2.toString uri);
+    Log.log ("fileForModule " ^ SharedTypes.showPaths paths);
     match fileForCmt ~moduleName:modname ~cmt ~uri state with
     | None -> None
     | Some docs -> Some docs)
@@ -1272,12 +1271,14 @@ let fileForModule modname ~package =
     None)
 
 let rec resolvePath ~env ~path ~package =
+  Log.log ("resolvePath path:" ^ pathToString path);
   match resolvePathInner ~env ~path with
   | None -> None
   | Some result -> (
     match result with
     | `Local (env, name) -> Some (env, name)
     | `Global (moduleName, fullPath) -> (
+      Log.log ("resolvePath Global path:" ^ pathToString fullPath ^ " module:" ^ moduleName);
       match fileForModule ~package moduleName with
       | None -> None
       | Some file ->

analysis/src/References.ml

@@ -344,7 +344,7 @@ let definitionForLocItem ~full:{file; package} locItem =
   | LModule (GlobalReference (moduleName, path, tip))
   | Typed (_, _, GlobalReference (moduleName, path, tip)) -> (
     maybeLog
-      ("Global defn " ^ moduleName ^ " " ^ pathToString path ^ " : "
+      ("Typed GlobalReference moduleName:" ^ moduleName ^ " path:" ^ pathToString path ^ " tip:"
      ^ tipToString tip);
     match ProcessCmt.fileForModule ~package moduleName with
     | None -> None
@@ -353,6 +353,7 @@ let definitionForLocItem ~full:{file; package} locItem =
       match ProcessCmt.resolvePath ~env ~path ~package with
       | None -> None
       | Some (env, name) -> (
+        maybeLog ("resolved path:" ^ name);
         match ProcessCmt.exportedForTip ~env name tip with
         | None -> None
         | Some stamp ->

analysis/tests/src/expected/Debug.res.txt

@@ -27,11 +27,13 @@ Dependency dirs: tests/node_modules/@rescript/react/lib/bs/./src tests/node_modu
 Opens from bsconfig: 
 locItems:
   0:18-0:21 Typed map (Belt.List.t<'a>, 'a => 'b) => Belt.List.t<'b> GlobalReference
-[ref] Global defn Belt List.map : Value
-FINDING docs for module Impl cmt:tests/node_modules/rescript/lib/ocaml/belt.cmt res:tests/node_modules/rescript/lib/ocaml/belt.ml
-FINDING tests/node_modules/rescript/lib/ocaml/belt.cmt uri belt.ml
-FINDING docs for module Impl cmt:tests/node_modules/rescript/lib/ocaml/belt_List.cmti res:tests/node_modules/rescript/lib/ocaml/belt_List.mli
-FINDING tests/node_modules/rescript/lib/ocaml/belt_List.cmti uri belt_List.mli
+[ref] Typed GlobalReference moduleName:Belt path:List.map tip:Value
+fileForModule Impl cmt:tests/node_modules/rescript/lib/ocaml/belt.cmt res:tests/node_modules/rescript/lib/ocaml/belt.ml
+resolvePath path:List.map
+resolvePath Global path:map module:Belt_List
+fileForModule Impl cmt:tests/node_modules/rescript/lib/ocaml/belt_List.cmti res:tests/node_modules/rescript/lib/ocaml/belt_List.mli
+resolvePath path:map
+[ref] resolved path:map
 [ref] Got stamp 1024
 [ref] alternateDeclared for Belt_List not found
 [ref] Inner uri belt_List.mli