Analysis refactor for rescript-lang#8425 (rescript-lang#8478)

* Omit empty document symbol children

DocumentSymbol.children is optional, so only set it when a symbol has nested entries. This avoids serializing leaf symbols with an empty children array.

Signed-off-by: Pedro Castro <aspeddro@gmail.com>

* add transform_opt for server-side use

* analysis: add state_to_yojson

* packages: add dependencies

* Update CHANGELOG.md

* Apply codex review suggestions

* Refactor cmt_viewer.dump for serve-side

* Analysis cmt dump return a string instead a option

---------

Signed-off-by: Pedro Castro <aspeddro@gmail.com>
Co-authored-by: Florian Hammerschmidt <florianh89@gmail.com>
Signed-off-by: Pedro Castro <aspeddro@gmail.com>

Author: aspeddro

CHANGELOG.md

@@ -69,6 +69,7 @@
 - Refactor analysis CLI helpers to use source input. https://github.com/rescript-lang/rescript/pull/8466
 - Include syntax, gentype, analysis, tools, and reanalyze tests in coverage reports. https://github.com/rescript-lang/rescript/pull/8467
 - Remove the unreachable `Longident.Lapply` constructor (OCaml's applicative-functor path syntax `F(X).t`, which ReScript's grammar cannot produce). https://github.com/rescript-lang/rescript/pull/8469
+- Refactor analysis for server side use. https://github.com/rescript-lang/rescript/pull/8478
 - Remove unused files. https://github.com/rescript-lang/rescript/pull/8481
 
 # 13.0.0-alpha.4

analysis/src/packages.ml

@@ -173,14 +173,17 @@ let new_bs_package ~root_path =
              |> List.map (fun path -> path @ ["place holder"])
            in
            let dependencies =
-             match config |> Yojson_helpers.get "dependencies" with
-             | Some (`List deps) ->
-               deps
-               |> List.filter_map (fun (x : Yojson.Safe.t) ->
-                      match x with
-                      | `String name -> Some name
-                      | _ -> None)
-             | _ -> []
+             match
+               ( config
+                 |> Yojson_helpers.get "dependencies"
+                 |> bind Yojson_helpers.to_list_opt,
+                 config
+                 |> Yojson_helpers.get "bs-dependencies"
+                 |> bind Yojson_helpers.to_list_opt )
+             with
+             | None, None -> []
+             | Some deps, None | _, Some deps ->
+               deps |> List.filter_map Yojson_helpers.string_opt
            in
            {
              generic_jsx_module;

analysis/src/shared_types.ml

@@ -1021,6 +1021,8 @@ let state_to_yojson (state : state) =
         ("suffix", `String package.suffix);
         ("root_path", `String package.root_path);
         ("project_files", string_set_to_yojson package.project_files);
+        ( "dependencies",
+          `List (package.dependencies |> List.map (fun x -> `String x)) );
         ("dependencies_files", string_set_to_yojson package.dependencies_files);
         ("paths_for_module", paths_for_module_to_yojson package.paths_for_module);
         ( "namespace",