camlspotter avatar camlspotter committed 5f66429

fixing for installed ml and cmt

Comments (0)

Files changed (2)

         List.iter (printf "@[<v>%a@]@." Annot.format) annots;
 
 	(* Tree is an older format. XTree is a newer which is the same as one for Spot *)
-        printf "Tree: %s:%s@." file.Unit.path (Region.to_string r);
+        printf "Tree: %s@." (Region.to_string r);
+        (* Beware, the search target and file.Unit.path may be different *)
         printf "XTree: <%s:%s>@." file.Unit.path (Region.to_string r);
 
 	(* Find the innermost module *)
   let of_loc_annots ~builddir ~path loc_annots =
     Hashtbl.fold (fun loc annots st ->
       let fname, region = Region.of_parsing loc in
-      if path = builddir ^/ fname then
-        add st { Regioned.region; value = annots } 
-      else begin
-        Format.eprintf "Call the Author: Guru meditation: path=%s fname=%s@." path fname;
-        add st { Regioned.region; value = annots } 
+      match fname with
+      | "_none_" -> st
+      | _ -> 
+          if path = builddir ^/ fname then
+            add st { Regioned.region; value = annots } 
+          else begin
+            Format.eprintf "Call the Author: Guru meditation: path=%s fname=%s@." path fname;
+            add st { Regioned.region; value = annots } 
       end)
       loc_annots empty
 
Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for ProjectModifiedEvent.java.
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.