Editor: Iterate objects (rescript-lang#7230)

* iterate objects

* changelog

* remove test file

Author: zth

CHANGELOG.md

@@ -16,6 +16,7 @@
 
 - Editor: Fix issue where pipe completions would not trigger with generic type arguments. https://github.com/rescript-lang/rescript/pull/7231
 - Fix leftover assert false in code for `null != undefined`. https://github.com/rescript-lang/rescript/pull/7232
+- Editor: Fix issue where completions would not show up inside of object bodies. https://github.com/rescript-lang/rescript/pull/7230
 
 # 12.0.0-alpha.7
 

analysis/src/CompletionFrontEnd.ml

@@ -1107,6 +1107,8 @@ let completionWithParser1 ~currentFile ~debug ~offset ~path ~posCursor
       if expr.pexp_loc |> Loc.hasPos ~pos:posNoWhite && !result = None then (
         setFound ();
         match expr.pexp_desc with
+        | Pexp_extension ({txt = "obj"}, PStr [str_item]) ->
+          Ast_iterator.default_iterator.structure_item iterator str_item
         | Pexp_extension ({txt}, _) -> setResult (CextensionNode txt)
         | Pexp_constant _ -> setResult Cnone
         | Pexp_ident lid ->

tests/analysis_tests/tests/src/CompletionObjects.res

@@ -0,0 +1,10 @@
+let x = Some(true)
+
+let _ff = {
+  "one": switch x {
+  | Some(true) => "hello"
+  // |
+  //   ^com
+  | _ => ""
+  },
+}

tests/analysis_tests/tests/src/expected/CompletionObjects.res.txt

@@ -0,0 +1,37 @@
+Complete src/CompletionObjects.res 5:7
+posCursor:[5:7] posNoWhite:[5:5] Found expr:[2:10->9:1]
+posCursor:[5:7] posNoWhite:[5:5] Found expr:[2:10->9:1]
+posCursor:[5:7] posNoWhite:[5:5] Found pattern:__ghost__[0:-1->7:5]
+posCursor:[5:7] posNoWhite:[5:5] Found pattern:__ghost__[0:-1->7:5]
+Completable: Cpattern Value[x]
+Package opens Pervasives.JsxModules.place holder
+ContextPath Value[x]
+Path x
+[{
+    "label": "None",
+    "kind": 12,
+    "tags": [],
+    "detail": "bool",
+    "documentation": null
+  }, {
+    "label": "Some(_)",
+    "kind": 12,
+    "tags": [],
+    "detail": "bool",
+    "documentation": null,
+    "insertText": "Some(${1:_})",
+    "insertTextFormat": 2
+  }, {
+    "label": "Some(true)",
+    "kind": 4,
+    "tags": [],
+    "detail": "bool",
+    "documentation": null
+  }, {
+    "label": "Some(false)",
+    "kind": 4,
+    "tags": [],
+    "detail": "bool",
+    "documentation": null
+  }]
+