apply heuristic for allowing empty JSX prop expr completion

Author: zth

analysis/src/CompletionBackEnd.ml

@@ -1053,7 +1053,7 @@ and getCompletionsForContextPath ~debug ~full ~opens ~rawOpens ~pos ~env ~exact
           ~kind:(Completion.Value (Ctype.newty (Ttuple typeExrps)));
       ]
     else []
-  | CJsxPropValue {pathToComponent; propName} -> (
+  | CJsxPropValue {pathToComponent; propName; emptyJsxPropNameHint} -> (
     if Debug.verbose () then print_endline "[ctx_path]--> CJsxPropValue";
     let findTypeOfValue path =
       path
@@ -1067,7 +1067,7 @@ and getCompletionsForContextPath ~debug ~full ~opens ~rawOpens ~pos ~env ~exact
       | _ -> false
     in
     (* TODO(env-stuff) Does this need to potentially be instantiated with type args too? *)
-    let targetLabel =
+    let labels =
       if lowercaseComponent then
         let rec digToTypeForCompletion path =
           match
@@ -1081,17 +1081,39 @@ and getCompletionsForContextPath ~debug ~full ~opens ~rawOpens ~pos ~env ~exact
                ReactDOM.domProps is an alias for JsxEvent.t. *)
             let pathRev = p |> Utils.expandPath in
             pathRev |> List.rev |> digToTypeForCompletion
-          | {kind = Type {kind = Record fields}} :: _ -> (
-            match fields |> List.find_opt (fun f -> f.fname.txt = propName) with
-            | None -> None
-            | Some f -> Some (f.fname.txt, f.typ, env))
-          | _ -> None
+          | {kind = Type {kind = Record fields}} :: _ ->
+            fields |> List.map (fun f -> (f.fname.txt, f.typ, env))
+          | _ -> []
         in
         TypeUtils.pathToElementProps package |> digToTypeForCompletion
       else
         CompletionJsx.getJsxLabels ~componentPath:pathToComponent
           ~findTypeOfValue ~package
-        |> List.find_opt (fun (label, _, _) -> label = propName)
+    in
+    (* We have a heuristic that kicks in when completing empty prop expressions in the middle of a JSX element,
+       like <SomeComp firstProp=test second=<com> third=123 />.
+       The parser turns that broken JSX into: <SomeComp firstProp=test second=<com>third />, 123.
+
+       So, we use a heuristic that covers this scenario by picking up on the cursor being between
+       the prop name and the prop expression, and the prop expression being an ident that's a
+       _valid prop name_ for that JSX element.
+
+       This works because the ident itself will always be the next prop name (since that's what the
+       parser eats). So, we do a simple lookup of that hint here if it exists, to make sure the hint
+       is indeed a valid label for this JSX element. *)
+    let emptyJsxPropNameHintIsCorrect =
+      match emptyJsxPropNameHint with
+      | Some identName when identName != propName ->
+        labels
+        |> List.find_opt (fun (f, _, _) -> f = identName)
+        |> Option.is_some
+      | Some _ -> false
+      | None -> true
+    in
+    let targetLabel =
+      if emptyJsxPropNameHintIsCorrect then
+        labels |> List.find_opt (fun (f, _, _) -> f = propName)
+      else None
     in
     match targetLabel with
     | None -> []

analysis/src/CompletionFrontEnd.ml

@@ -934,6 +934,7 @@ let completionWithParser1 ~currentFile ~debug ~offset ~path ~posCursor
                   pathToComponent =
                     Utils.flattenLongIdent ~jsx:true props.compName.txt;
                   propName = prop.name;
+                  emptyJsxPropNameHint = None;
                 });
            expr iterator prop.exp;
            resetCurrentCtxPath previousCtxPath)

analysis/src/CompletionJsx.ml

@@ -833,7 +833,27 @@ let findJsxPropsCompletable ~jsxProps ~endPos ~posBeforeCursor
           print_endline
             "[jsx_props_completable]--> Cursor between the prop name and expr \
              assigned";
-        None)
+        match (firstCharBeforeCursorNoWhite, prop.exp) with
+        | Some '=', {pexp_desc = Pexp_ident {txt = Lident txt}} ->
+          if Debug.verbose () then
+            Printf.printf
+              "[jsx_props_completable]--> Heuristic for empty JSX prop expr \
+               completion.\n";
+          Some
+            (Cexpression
+               {
+                 contextPath =
+                   CJsxPropValue
+                     {
+                       pathToComponent =
+                         Utils.flattenLongIdent ~jsx:true jsxProps.compName.txt;
+                       propName = prop.name;
+                       emptyJsxPropNameHint = Some txt;
+                     };
+                 nested = [];
+                 prefix = "";
+               })
+        | _ -> None)
       else if prop.exp.pexp_loc |> Loc.hasPos ~pos:posBeforeCursor then (
         if Debug.verbose () then
           print_endline "[jsx_props_completable]--> Cursor on expr assigned";
@@ -851,6 +871,7 @@ let findJsxPropsCompletable ~jsxProps ~endPos ~posBeforeCursor
                        pathToComponent =
                          Utils.flattenLongIdent ~jsx:true jsxProps.compName.txt;
                        propName = prop.name;
+                       emptyJsxPropNameHint = None;
                      };
                  nested = List.rev nested;
                  prefix;
@@ -871,6 +892,7 @@ let findJsxPropsCompletable ~jsxProps ~endPos ~posBeforeCursor
                        pathToComponent =
                          Utils.flattenLongIdent ~jsx:true jsxProps.compName.txt;
                        propName = prop.name;
+                       emptyJsxPropNameHint = None;
                      };
                  prefix = "";
                  nested = [];
@@ -894,6 +916,7 @@ let findJsxPropsCompletable ~jsxProps ~endPos ~posBeforeCursor
                      pathToComponent =
                        Utils.flattenLongIdent ~jsx:true jsxProps.compName.txt;
                      propName = prop.name;
+                     emptyJsxPropNameHint = None;
                    };
                prefix = "";
                nested = [];

analysis/src/SharedTypes.ml

@@ -622,7 +622,12 @@ module Completable = struct
         functionContextPath: contextPath;
         argumentLabel: argumentLabel;
       }
-    | CJsxPropValue of {pathToComponent: string list; propName: string}
+    | CJsxPropValue of {
+        pathToComponent: string list;
+        propName: string;
+        emptyJsxPropNameHint: string option;
+            (* This helps handle a special case in JSX prop completion. More info where this is used. *)
+      }
     | CPatternPath of {rootCtxPath: contextPath; nested: nestedPath list}
     | CTypeAtPos of Location.t
         (** A position holding something that might have a *compiled* type. *)

analysis/tests/src/CompletionExpressions.res

@@ -348,12 +348,12 @@ module Money: {
   let plus = (m1, _) => m1
 }
 
-let tArgCompletionTestFn = (tVal: Money.t) => ()
+let tArgCompletionTestFn = (_tVal: Money.t) => ()
 
 // tArgCompletionTestFn()
 //                      ^com
 
-let labeledTArgCompletionTestFn = (~tVal: Money.t) => ()
+let labeledTArgCompletionTestFn = (~tVal as _: Money.t) => ()
 
 // labeledTArgCompletionTestFn(~tVal=)
 //                                   ^com

analysis/tests/src/CompletionJsx.res

@@ -61,3 +61,15 @@ module IntrinsicElementLowercase = {
 
 // <IntrinsicElementLowercase
 //                            ^com
+
+module MultiPropComp = {
+  type time = Now | Later
+  @react.component
+  let make = (~name, ~age, ~time: time) => {
+    ignore(time)
+    name ++ age
+  }
+}
+
+// <MultiPropComp name="Hello" time= age="35"
+//                                  ^com

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

@@ -543,3 +543,29 @@ Path IntrinsicElementLowercase.make
     "documentation": null
   }]
 
+Complete src/CompletionJsx.res 73:36
+posCursor:[73:36] posNoWhite:[73:35] Found expr:[73:4->73:41]
+JSX <MultiPropComp:[73:4->73:17] name[73:18->73:22]=...[73:23->73:30] time[73:31->73:35]=...[73:37->73:40]> _children:None
+Completable: Cexpression CJsxPropValue [MultiPropComp] time
+Package opens Pervasives.JsxModules.place holder
+Resolved opens 1 pervasives
+ContextPath CJsxPropValue [MultiPropComp] time
+Path MultiPropComp.make
+[{
+    "label": "Now",
+    "kind": 4,
+    "tags": [],
+    "detail": "Now\n\ntype time = Now | Later",
+    "documentation": null,
+    "insertText": "{Now}",
+    "insertTextFormat": 2
+  }, {
+    "label": "Later",
+    "kind": 4,
+    "tags": [],
+    "detail": "Later\n\ntype time = Now | Later",
+    "documentation": null,
+    "insertText": "{Later}",
+    "insertTextFormat": 2
+  }]
+

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

@@ -481,7 +481,22 @@ Path Outer.Inner.
 Complete src/Jsx2.res 136:7
 posCursor:[136:7] posNoWhite:[136:6] Found expr:[135:3->138:9]
 JSX <div:[135:3->135:6] x[136:5->136:6]=...[138:4->138:8]> _children:None
-[]
+Completable: Cexpression CJsxPropValue [div] x
+Package opens Pervasives.JsxModules.place holder
+Resolved opens 1 pervasives
+ContextPath CJsxPropValue [div] x
+Path ReactDOM.domProps
+Path PervasivesU.JsxDOM.domProps
+[{
+    "label": "\"\"",
+    "kind": 12,
+    "tags": [],
+    "detail": "string",
+    "documentation": null,
+    "sortText": "A",
+    "insertText": "{\"$0\"}",
+    "insertTextFormat": 2
+  }]
 
 Complete src/Jsx2.res 150:21
 posCursor:[150:21] posNoWhite:[150:20] Found expr:[150:12->150:32]