empty record expression

Author: zth

analysis/src/CompletionFrontEndRevamped.ml

@@ -434,6 +434,11 @@ let completionWithParser ~currentFile ~debug ~offset ~path ~posCursor text =
           processed := true
         | Pexp_extension ({txt = "obj"}, PStr [str_item]) ->
           Ast_iterator.default_iterator.structure_item iterator str_item
+        | Pexp_record ([], _) ->
+          (* Empty fields means we're in a record body `{}`. Complete for the fields. *)
+          setResult
+            (Cexpression
+               {kind = Field {hint = ""}; typeLoc = expr.pexp_loc; posOfDot})
         | Pexp_extension ({txt}, _) -> setResult (CextensionNode txt)
         | Pexp_constant _ -> setResult Cnone
         | Pexp_ident lid ->

tests/analysis_new_tests/tests/test_files/EmptyExpressions.res

@@ -1,3 +1,7 @@
 // == TEST: Empty let assignment expression, array
 let x: array<string> = 
 //                    ^com
+
+// == TEST: Empty let assignment expression, record
+let x: TestTypeDefs.nestedTestRecord = 
+//                                    ^com

tests/analysis_new_tests/tests/test_files/__snapshots__/EmptyExpressions.res_Empty_let_assignment_expression_record.snap

@@ -0,0 +1,19 @@
+Found Completable: Cexpression at type loc: [1:4->1:5]
+
+  1 │ // Empty let assignment expression, record
+  2 │ let x: TestTypeDefs.nestedTestRecord = 
+    │     ‾
+  3 │ //                                    ^com
+  4 │ 
+
+[{
+    "label": "{}",
+    "kind": 12,
+    "tags": [],
+    "detail": "TestTypeDefs.nestedTestRecord",
+    "documentation": {"kind": "markdown", "value": "```rescript\ntype nestedTestRecord = {\n  test: bool,\n  nested: {name: string, oneMoreLevel: {here: bool}},\n}\n```"},
+    "sortText": "A",
+    "insertText": "{$0}",
+    "insertTextFormat": 2
+  }]
+