Print Path

Author: cristianoc

analysis/src/CompletionBackEnd.ml

@@ -510,8 +510,9 @@ let getComplementaryCompletionsForTypedValue ~opens ~allFiles ~scope ~env prefix
   in
   localCompletionsWithOpens @ fileModules
 
-let getCompletionsForPath ~package ~opens ~allFiles ~pos ~exact ~scope
+let getCompletionsForPath ~debug ~package ~opens ~allFiles ~pos ~exact ~scope
     ~completionContext ~env path =
+  if debug then Printf.printf "Path %s\n" (path |> String.concat ".");
   match path with
   | [] -> []
   | [prefix] ->
@@ -737,7 +738,7 @@ and getCompletionsForContextPath ~debug ~full ~opens ~rawOpens ~allFiles ~pos
       ])
   | CPId (path, completionContext) ->
     path
-    |> getCompletionsForPath ~package ~opens ~allFiles ~pos ~exact
+    |> getCompletionsForPath ~debug ~package ~opens ~allFiles ~pos ~exact
          ~completionContext ~env ~scope
   | CPApply (cp, labels) -> (
     match
@@ -784,7 +785,7 @@ and getCompletionsForContextPath ~debug ~full ~opens ~rawOpens ~allFiles ~pos
   | CPField (CPId (path, Module), fieldName) ->
     (* M.field *)
     path @ [fieldName]
-    |> getCompletionsForPath ~package ~opens ~allFiles ~pos ~exact
+    |> getCompletionsForPath ~debug ~package ~opens ~allFiles ~pos ~exact
          ~completionContext:Field ~env ~scope
   | CPField (cp, fieldName) -> (
     let completionsForCtxPath =
@@ -952,7 +953,7 @@ and getCompletionsForContextPath ~debug ~full ~opens ~rawOpens ~allFiles ~pos
         in
         let completions =
           completionPath @ [funNamePrefix]
-          |> getCompletionsForPath ~completionContext:Value ~exact:false
+          |> getCompletionsForPath ~debug ~completionContext:Value ~exact:false
                ~package ~opens ~allFiles ~pos ~env ~scope
         in
         let completions =
@@ -1016,8 +1017,8 @@ and getCompletionsForContextPath ~debug ~full ~opens ~rawOpens ~allFiles ~pos
   | CJsxPropValue {pathToComponent; propName} -> (
     let findTypeOfValue path =
       path
-      |> getCompletionsForPath ~completionContext:Value ~exact:true ~package
-           ~opens ~allFiles ~pos ~env ~scope
+      |> getCompletionsForPath ~debug ~completionContext:Value ~exact:true
+           ~package ~opens ~allFiles ~pos ~env ~scope
       |> completionsGetTypeEnv2 ~debug ~full ~opens ~rawOpens ~allFiles ~pos
            ~scope
     in
@@ -1031,7 +1032,7 @@ and getCompletionsForContextPath ~debug ~full ~opens ~rawOpens ~allFiles ~pos
         let rec digToTypeForCompletion path =
           match
             path
-            |> getCompletionsForPath ~completionContext:Type ~exact:true
+            |> getCompletionsForPath ~debug ~completionContext:Type ~exact:true
                  ~package ~opens ~allFiles ~pos ~env ~scope
           with
           | {kind = Type {kind = Abstract (Some (p, _))}} :: _ ->
@@ -1412,8 +1413,8 @@ let rec processCompletable ~debug ~full ~scope ~env ~pos ~forHover completable =
   let allFiles = FileSet.union package.projectFiles package.dependenciesFiles in
   let findTypeOfValue path =
     path
-    |> getCompletionsForPath ~completionContext:Value ~exact:true ~package
-         ~opens ~allFiles ~pos ~env ~scope
+    |> getCompletionsForPath ~debug ~completionContext:Value ~exact:true
+         ~package ~opens ~allFiles ~pos ~env ~scope
     |> completionsGetTypeEnv2 ~debug ~full ~opens ~rawOpens ~allFiles ~pos
          ~scope
   in

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

@@ -3,12 +3,14 @@ posCursor:[2:24] posNoWhite:[2:23] Found expr:[2:11->2:30]
 Pexp_apply ...[2:11->2:17] (~isOff2:19->2:24=...[2:27->2:29])
 Completable: CnamedArg(Value[someFn], isOff, [isOff])
 ContextPath Value[someFn]
+Path someFn
 []
 
 Complete src/BrokenParserCases.res 6:17
 posCursor:[6:17] posNoWhite:[6:16] Found pattern:[6:16->6:19]
 Completable: Cpattern Value[s]=t
 ContextPath Value[s]
+Path s
 []
 
 Complete src/BrokenParserCases.res 10:29
@@ -17,5 +19,6 @@ posCursor:[10:29] posNoWhite:[10:27] Found pattern:[10:24->10:28]
 Ppat_construct None:[10:24->10:28]
 Completable: Cpath Value[None]
 ContextPath Value[None]
+Path None
 []
 

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

@@ -3,6 +3,8 @@ posCursor:[5:6] posNoWhite:[5:5] Found expr:[5:3->0:-1]
 Completable: Cpath Value[a]->
 ContextPath Value[a]->
 ContextPath Value[a]
+Path a
+Path Test.
 [{
     "label": "Test.add",
     "kind": 12,

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

@@ -3,6 +3,8 @@ posCursor:[9:7] posNoWhite:[9:6] Found expr:[9:3->0:-1]
 Completable: Cpath Value[ax]->
 ContextPath Value[ax]->
 ContextPath Value[ax]
+Path ax
+Path Test.
 [{
     "label": "Test.add",
     "kind": 12,
@@ -16,6 +18,7 @@ posCursor:[12:5] posNoWhite:[12:4] Found expr:[12:3->12:5]
 Pexp_ident ax:[12:3->12:5]
 Completable: Cpath Value[ax]
 ContextPath Value[ax]
+Path ax
 [{
     "label": "ax",
     "kind": 12,