complete creator/maker functions for type t that cannot be resolved further

zth · zth · commit 44c80c3ff2d7 · 2024-01-06T22:02:05.000+01:00
diff --git a/analysis/src/CompletionBackEnd.ml b/analysis/src/CompletionBackEnd.ml
@@ -510,7 +510,7 @@ let getComplementaryCompletionsForTypedValue ~opens ~allFiles ~scope ~env prefix
   in
   localCompletionsWithOpens @ fileModules
 
-let getCompletionsForPath ~debug ~package ~opens ~full ~pos ~exact ~scope
+let getCompletionsForPath ~debug ~opens ~full ~pos ~exact ~scope
     ~completionContext ~env path =
   if debug then Printf.printf "Path %s\n" (path |> String.concat ".");
   let allFiles = allFilesInPackage full.package in
@@ -537,13 +537,33 @@ let getCompletionsForPath ~debug ~package ~opens ~full ~pos ~exact ~scope
     localCompletionsWithOpens @ fileModules
   | moduleName :: path -> (
     Log.log ("Path " ^ pathToString path);
-    match getEnvWithOpens ~scope ~env ~package ~opens ~moduleName path with
+    match
+      getEnvWithOpens ~scope ~env ~package:full.package ~opens ~moduleName path
+    with
     | Some (env, prefix) ->
       Log.log "Got the env";
       let namesUsed = Hashtbl.create 10 in
       findAllCompletions ~env ~prefix ~exact ~namesUsed ~completionContext
     | None -> [])
 
+let rec digToRecordFieldsForCompletion ~debug ~package ~opens ~full ~pos ~env
+    ~scope path =
+  match
+    path
+    |> getCompletionsForPath ~debug ~completionContext:Type ~exact:true ~opens
+         ~full ~pos ~env ~scope
+  with
+  | {kind = Type {kind = Abstract (Some (p, _))}} :: _ ->
+    (* This case happens when what we're looking for is a type alias.
+       This is the case in newer rescript-react versions where
+       ReactDOM.domProps is an alias for JsxEvent.t. *)
+    let pathRev = p |> Utils.expandPath in
+    pathRev |> List.rev
+    |> digToRecordFieldsForCompletion ~debug ~package ~opens ~full ~pos ~env
+         ~scope
+  | {kind = Type {kind = Record fields}} :: _ -> Some fields
+  | _ -> None
+
 let mkItem ~name ~kind ~detail ~deprecated ~docstring =
   let docContent =
     (match deprecated with
@@ -567,7 +587,7 @@ let mkItem ~name ~kind ~detail ~deprecated ~docstring =
       detail;
       documentation =
         (if docContent = "" then None
-        else Some {kind = "markdown"; value = docContent});
+         else Some {kind = "markdown"; value = docContent});
       sortText = None;
       insertText = None;
       insertTextFormat = None;
@@ -747,8 +767,8 @@ and getCompletionsForContextPath ~debug ~full ~opens ~rawOpens ~pos ~env ~exact
     | _ -> [])
   | CPId (path, completionContext) ->
     path
-    |> getCompletionsForPath ~debug ~package ~opens ~full ~pos ~exact
-         ~completionContext ~env ~scope
+    |> getCompletionsForPath ~debug ~opens ~full ~pos ~exact ~completionContext
+         ~env ~scope
   | CPApply (cp, labels) -> (
     match
       cp
@@ -793,7 +813,7 @@ and getCompletionsForContextPath ~debug ~full ~opens ~rawOpens ~pos ~env ~exact
   | CPField (CPId (path, Module), fieldName) ->
     (* M.field *)
     path @ [fieldName]
-    |> getCompletionsForPath ~debug ~package ~opens ~full ~pos ~exact
+    |> getCompletionsForPath ~debug ~opens ~full ~pos ~exact
          ~completionContext:Field ~env ~scope
   | CPField (cp, fieldName) -> (
     let completionsForCtxPath =
@@ -911,52 +931,18 @@ and getCompletionsForContextPath ~debug ~full ~opens ~rawOpens ~pos ~env ~exact
           | Tconstr (path, _typeArgs, _)
           | Tlink {desc = Tconstr (path, _typeArgs, _)}
           | Tsubst {desc = Tconstr (path, _typeArgs, _)}
-          | Tpoly ({desc = Tconstr (path, _typeArgs, _)}, []) -> (
+          | Tpoly ({desc = Tconstr (path, _typeArgs, _)}, []) ->
             if debug then Printf.printf "CPPipe type path:%s\n" (Path.name path);
-            match Utils.expandPath path with
-            | _ :: pathRev ->
-              (* type path is relative to the completion environment
-                 express it from the root of the file *)
-              let found, pathFromEnv =
-                QueryEnv.pathFromEnv envFromCompletionItem (List.rev pathRev)
-              in
-              if debug then
-                Printf.printf "CPPipe pathFromEnv:%s found:%b\n"
-                  (pathFromEnv |> String.concat ".")
-                  found;
-              if pathFromEnv = [] then None
-              else if
-                env.file.moduleName <> envFromCompletionItem.file.moduleName
-                && found
-                (* If the module names are different, then one needs to qualify the path.
-                   But only if the path belongs to the env from completion *)
-              then Some (envFromCompletionItem.file.moduleName :: pathFromEnv)
-              else Some pathFromEnv
-            | _ -> None)
+            TypeUtils.getPathRelativeToEnv ~debug ~env
+              ~envFromItem:envFromCompletionItem (Utils.expandPath path)
           | _ -> None)
       in
       match completionPath with
       | Some completionPath -> (
-        let rec removeRawOpen rawOpen modulePath =
-          match (rawOpen, modulePath) with
-          | [_], _ -> Some modulePath
-          | s :: inner, first :: restPath when s = first ->
-            removeRawOpen inner restPath
-          | _ -> None
-        in
-        let rec removeRawOpens rawOpens modulePath =
-          match rawOpens with
-          | rawOpen :: restOpens -> (
-            let newModulePath = removeRawOpens restOpens modulePath in
-            match removeRawOpen rawOpen newModulePath with
-            | None -> newModulePath
-            | Some mp -> mp)
-          | [] -> modulePath
-        in
         let completionPathMinusOpens =
-          completionPath |> Utils.flattenAnyNamespaceInPath
-          |> removeRawOpens package.opens
-          |> removeRawOpens rawOpens |> String.concat "."
+          TypeUtils.removeOpensFromCompletionPath ~rawOpens ~package
+            completionPath
+          |> String.concat "."
         in
         let completionName name =
           if completionPathMinusOpens = "" then name
@@ -965,7 +951,7 @@ and getCompletionsForContextPath ~debug ~full ~opens ~rawOpens ~pos ~env ~exact
         let completions =
           completionPath @ [funNamePrefix]
           |> getCompletionsForPath ~debug ~completionContext:Value ~exact:false
-               ~package ~opens ~full ~pos ~env ~scope
+               ~opens ~full ~pos ~env ~scope
         in
         let completions =
           completions
@@ -1029,7 +1015,7 @@ and getCompletionsForContextPath ~debug ~full ~opens ~rawOpens ~pos ~env ~exact
     let findTypeOfValue path =
       path
       |> getCompletionsForPath ~debug ~completionContext:Value ~exact:true
-           ~package ~opens ~full ~pos ~env ~scope
+           ~opens ~full ~pos ~env ~scope
       |> completionsGetTypeEnv2 ~debug ~full ~opens ~rawOpens ~pos
     in
     let lowercaseComponent =
@@ -1043,7 +1029,7 @@ and getCompletionsForContextPath ~debug ~full ~opens ~rawOpens ~pos ~env ~exact
           match
             path
             |> getCompletionsForPath ~debug ~completionContext:Type ~exact:true
-                 ~package ~opens ~full ~pos ~env ~scope
+                 ~opens ~full ~pos ~env ~scope
           with
           | {kind = Type {kind = Abstract (Some (p, _))}} :: _ ->
             (* This case happens when what we're looking for is a type alias.
@@ -1189,9 +1175,62 @@ let printConstructorArgs argsLen ~asSnippet =
 
 type completionMode = Pattern of Completable.patternMode | Expression
 
-let rec completeTypedValue ~full ~prefix ~completionContext ~mode
+let rec completeTypedValue ~rawOpens ~full ~prefix ~completionContext ~mode
     (t : SharedTypes.completionType) =
   match t with
+  | TtypeT {env; path} ->
+    (* Find all functions in the module that returns type t *)
+    let rec fnReturnsTypeT t =
+      match t.Types.desc with
+      | Tlink t1
+      | Tsubst t1
+      | Tpoly (t1, [])
+      | Tconstr (Pident {name = "function$"}, [t1; _], _) ->
+        fnReturnsTypeT t1
+      | Tarrow _ -> (
+        match TypeUtils.extractFunctionType ~env ~package:full.package t with
+        | ( (Nolabel, {desc = Tconstr (Path.Pident {name = "t"}, _, _)}) :: _,
+            {desc = Tconstr (Path.Pident {name = "t"}, _, _)} ) ->
+          (* Filter out functions that take type t first. These are often
+             @send style functions that we don't want to have here because
+             they usually aren't meant to create a type t from scratch. *)
+          false
+        | _args, {desc = Tconstr (Path.Pident {name = "t"}, _, _)} -> true
+        | _ -> false)
+      | _ -> false
+    in
+    let functionsReturningTypeT =
+      Hashtbl.create (Hashtbl.length env.exported.values_)
+    in
+    env.exported.values_
+    |> Hashtbl.iter (fun name stamp ->
+           match Stamps.findValue env.file.stamps stamp with
+           | None -> ()
+           | Some {item} -> (
+             if fnReturnsTypeT item then
+               let fnNname =
+                 TypeUtils.getPathRelativeToEnv ~debug:false
+                   ~env:(QueryEnv.fromFile full.file)
+                   ~envFromItem:env (Utils.expandPath path)
+               in
+
+               match fnNname with
+               | None -> ()
+               | Some base ->
+                 let base =
+                   TypeUtils.removeOpensFromCompletionPath ~rawOpens
+                     ~package:full.package base
+                 in
+                 Hashtbl.add functionsReturningTypeT
+                   ((base |> String.concat ".") ^ "." ^ name)
+                   item));
+    Hashtbl.fold
+      (fun fnName typeExpr all ->
+        Completion.createWithSnippet
+          ~name:(Printf.sprintf "%s()" fnName)
+          ~insertText:(fnName ^ "($0)") ~kind:(Value typeExpr) ~env ()
+        :: all)
+      functionsReturningTypeT []
   | Tbool env ->
     [
       Completion.create "true" ~kind:(Label "bool") ~env;
@@ -1250,7 +1289,7 @@ let rec completeTypedValue ~full ~prefix ~completionContext ~mode
       | None -> []
       | Some innerType ->
         innerType
-        |> completeTypedValue ~full ~prefix ~completionContext ~mode
+        |> completeTypedValue ~rawOpens ~full ~prefix ~completionContext ~mode
         |> List.map (fun (c : Completion.t) ->
                {
                  c with
@@ -1294,7 +1333,7 @@ let rec completeTypedValue ~full ~prefix ~completionContext ~mode
       | None -> []
       | Some innerType ->
         innerType
-        |> completeTypedValue ~full ~prefix ~completionContext ~mode
+        |> completeTypedValue ~rawOpens ~full ~prefix ~completionContext ~mode
         |> List.map (fun (c : Completion.t) ->
                {
                  c with
@@ -1311,7 +1350,7 @@ let rec completeTypedValue ~full ~prefix ~completionContext ~mode
       | None -> []
       | Some innerType ->
         innerType
-        |> completeTypedValue ~full ~prefix ~completionContext ~mode
+        |> completeTypedValue ~rawOpens ~full ~prefix ~completionContext ~mode
         |> List.map (fun (c : Completion.t) ->
                {
                  c with
@@ -1527,8 +1566,8 @@ let rec processCompletable ~debug ~full ~scope ~env ~pos ~forHover completable =
   let allFiles = allFilesInPackage package in
   let findTypeOfValue path =
     path
-    |> getCompletionsForPath ~debug ~completionContext:Value ~exact:true
-         ~package ~opens ~full ~pos ~env ~scope
+    |> getCompletionsForPath ~debug ~completionContext:Value ~exact:true ~opens
+         ~full ~pos ~env ~scope
     |> completionsGetTypeEnv2 ~debug ~full ~opens ~rawOpens ~pos
   in
   match completable with
@@ -1730,8 +1769,8 @@ let rec processCompletable ~debug ~full ~scope ~env ~pos ~forHover completable =
       | Some (typ, _env, completionContext) ->
         let items =
           typ
-          |> completeTypedValue ~mode:(Pattern patternMode) ~full ~prefix
-               ~completionContext
+          |> completeTypedValue ~rawOpens ~mode:(Pattern patternMode) ~full
+               ~prefix ~completionContext
         in
         fallbackOrEmpty ~items ())
     | None -> fallbackOrEmpty ())
@@ -1768,7 +1807,7 @@ let rec processCompletable ~debug ~full ~scope ~env ~pos ~forHover completable =
         in
         let items =
           typ
-          |> completeTypedValue ~mode:Expression ~full ~prefix
+          |> completeTypedValue ~rawOpens ~mode:Expression ~full ~prefix
                ~completionContext
           |> List.map (fun (c : Completion.t) ->
                  if wrapInsertTextInBraces then
diff --git a/analysis/src/SharedTypes.ml b/analysis/src/SharedTypes.ml
@@ -331,6 +331,7 @@ and completionType =
   | Tbool of QueryEnv.t
   | Tarray of QueryEnv.t * innerType
   | Tstring of QueryEnv.t
+  | TtypeT of {env: QueryEnv.t; path: Path.t}
   | Tvariant of {
       env: QueryEnv.t;
       constructors: Constructor.t list;
diff --git a/analysis/src/TypeUtils.ml b/analysis/src/TypeUtils.ml
@@ -149,6 +149,7 @@ let rec extractType ~env ~package (t : Types.type_expr) =
            })
     | Some (env, {item = {kind = Record fields}}) ->
       Some (Trecord {env; fields; definition = `TypeExpr t})
+    | Some (env, {item = {name = "t"}}) -> Some (TtypeT {env; path})
     | _ -> None)
   | Ttuple expressions -> Some (Tuple (env, expressions, t))
   | Tvariant {row_fields} ->
@@ -631,6 +632,7 @@ let rec extractedTypeToString ?(inner = false) = function
     else Shared.typeToString typ
   | Tbool _ -> "bool"
   | Tstring _ -> "string"
+  | TtypeT _ -> "type t"
   | Tarray (_, TypeExpr innerTyp) ->
     "array<" ^ Shared.typeToString innerTyp ^ ">"
   | Tarray (_, ExtractedType innerTyp) ->
@@ -757,3 +759,48 @@ module Codegen = struct
         |> List.map (fun (pat : Parsetree.pattern) ->
                Ast_helper.Exp.case pat (mkFailWithExp ())))
 end
+
+let getPathRelativeToEnv ~debug ~(env : QueryEnv.t) ~envFromItem path =
+  match path with
+  | _ :: pathRev ->
+    (* type path is relative to the completion environment
+       express it from the root of the file *)
+    let found, pathFromEnv =
+      QueryEnv.pathFromEnv envFromItem (List.rev pathRev)
+    in
+    if debug then
+      Printf.printf "CPPipe pathFromEnv:%s found:%b\n"
+        (pathFromEnv |> String.concat ".")
+        found;
+    if pathFromEnv = [] then None
+    else if
+      env.file.moduleName <> envFromItem.file.moduleName && found
+      (* If the module names are different, then one needs to qualify the path.
+         But only if the path belongs to the env from completion *)
+    then Some (envFromItem.file.moduleName :: pathFromEnv)
+    else Some pathFromEnv
+  | _ -> None
+
+let removeOpensFromCompletionPath ~rawOpens ~package completionPath =
+  let rec removeRawOpen rawOpen modulePath =
+    match (rawOpen, modulePath) with
+    | [_], _ -> Some modulePath
+    | s :: inner, first :: restPath when s = first ->
+      removeRawOpen inner restPath
+    | _ -> None
+  in
+  let rec removeRawOpens rawOpens modulePath =
+    match rawOpens with
+    | rawOpen :: restOpens -> (
+      let newModulePath = removeRawOpens restOpens modulePath in
+      match removeRawOpen rawOpen newModulePath with
+      | None -> newModulePath
+      | Some mp -> mp)
+    | [] -> modulePath
+  in
+  let completionPathMinusOpens =
+    completionPath |> Utils.flattenAnyNamespaceInPath
+    |> removeRawOpens package.opens
+    |> removeRawOpens rawOpens
+  in
+  completionPathMinusOpens
diff --git a/analysis/tests/src/CompletionExpressions.res b/analysis/tests/src/CompletionExpressions.res
@@ -287,3 +287,29 @@ let fnTakingPolyVariant = (a: somePolyVariant) => {
 
 // fnTakingPolyVariant(o)
 //                      ^com
+
+module SuperInt: {
+  type t
+  let increment: (t, int) => t
+  let decrement: (t, int => int) => t
+  let make: int => t
+  let toInt: t => int
+} = {
+  type t = int
+  let increment = (t, num) => t + num
+  let decrement = (t, decrementer) => decrementer(t)
+  let make = t => t
+  let toInt = t => t
+}
+
+type withIntLocal = {superInt: SuperInt.t}
+
+// let withInt: withIntLocal = {superInt: }
+//                                       ^com
+
+// CompletionSupport.makeTestHidden()
+//                                  ^com
+
+open CompletionSupport
+// CompletionSupport.makeTestHidden()
+//                                  ^com
diff --git a/analysis/tests/src/CompletionSupport.res b/analysis/tests/src/CompletionSupport.res
diff --git a/analysis/tests/src/expected/CompletionExpressions.res.txt b/analysis/tests/src/expected/CompletionExpressions.res.txt
