feat(lsp): Add code completion

Author: phated

compiler/src/language_server/completion.re

@@ -0,0 +1,298 @@
+open Grain_utils;
+open Grain_typed;
+open Grain_diagnostics;
+
+// This is the full enumeration of all CompletionItemKind as declared by the language server
+// protocol (https://microsoft.github.io/language-server-protocol/specifications/lsp/3.17/specification/#completionItemKind),
+// but not all will be used by Grain LSP
+[@deriving (enum, yojson)]
+type completion_item_kind =
+  // Since these are using ppx_deriving enum, order matters
+  | [@value 1] CompletionItemKindText
+  | CompletionItemKindMethod
+  | CompletionItemKindFunction
+  | CompletionItemKindConstructor
+  | CompletionItemKindField
+  | CompletionItemKindVariable
+  | CompletionItemKindClass
+  | CompletionItemKindInterface
+  | CompletionItemKindModule
+  | CompletionItemKindProperty
+  | CompletionItemKindUnit
+  | CompletionItemKindValue
+  | CompletionItemKindEnum
+  | CompletionItemKindKeyword
+  | CompletionItemKindSnippet
+  | CompletionItemKindColor
+  | CompletionItemKindFile
+  | CompletionItemKindReference
+  | CompletionItemKindFolder
+  | CompletionItemKindEnumMember
+  | CompletionItemKindConstant
+  | CompletionItemKindStruct
+  | CompletionItemKindEvent
+  | CompletionItemKindOperator
+  | CompletionItemKindTypeParameter;
+
+let completion_item_kind_to_yojson = severity =>
+  completion_item_kind_to_enum(severity) |> [%to_yojson: int];
+let completion_item_kind_of_yojson = json =>
+  Result.bind(json |> [%of_yojson: int], value => {
+    switch (completion_item_kind_of_enum(value)) {
+    | Some(severity) => Ok(severity)
+    | None => Result.Error("Invalid enum value")
+    }
+  });
+
+[@deriving yojson]
+type completion_item = {
+  label: string,
+  kind: completion_item_kind,
+  detail: string,
+  documentation: string,
+};
+
+// https://microsoft.github.io/language-server-protocol/specifications/lsp/3.17/specification/#completionParams
+module RequestParams = {
+  [@deriving yojson({strict: false})]
+  type t = {
+    [@key "textDocument"]
+    text_document: Protocol.text_document_identifier,
+    position: Protocol.position,
+  };
+};
+
+// https://microsoft.github.io/language-server-protocol/specifications/lsp/3.17/specification/#completionList
+module ResponseResult = {
+  [@deriving yojson]
+  type t = {
+    isIncomplete: bool,
+    items: list(completion_item),
+  };
+};
+
+// Original implementation https://github.com/jaredly/reason-language-server/blob/ce1b3f8ddb554b6498c2a83ea9c53a6bdf0b6081/src/analyze/PartialParser.re#L178-L198
+let find_completable = (text, offset) => {
+  let rec loop = i => {
+    i < 0
+      ? Some(String_utils.slice(~first=0, ~last=offset + 1, text))
+      : (
+        switch (String_utils.char_at(text, i)) {
+        | Some('a' .. 'z' | 'A' .. 'Z' | '0' .. '9' | '.' | '_') =>
+          loop(i - 1)
+        | _ =>
+          i == offset - 1
+            ? None
+            : Some(
+                String_utils.slice(
+                  ~first=i + 1,
+                  ~last=offset - (i + 1),
+                  text,
+                ),
+              )
+        }
+      );
+  };
+  loop(offset - 1);
+};
+
+let get_original_text = (documents, uri, line, char) =>
+  // try and find the code we are completing in the original source
+  switch (Hashtbl.find_opt(documents, uri)) {
+  | None => None
+  | Some(source_code) =>
+    let lines = String.split_on_char('\n', source_code);
+    let line = List.nth_opt(lines, line);
+    Option.bind(line, line => find_completable(line, char));
+  };
+
+// maps Grain types to LSP CompletionItemKind
+let rec get_kind = (desc: Types.type_desc) =>
+  switch (desc) {
+  | TTyVar(_) => CompletionItemKindVariable
+  | TTyArrow(_) => CompletionItemKindFunction
+  | TTyTuple(_) => CompletionItemKindStruct
+  | TTyRecord(_) => CompletionItemKindStruct
+  | TTyConstr(_) => CompletionItemKindConstructor
+  | TTySubst(s) => get_kind(s.desc)
+  | TTyLink(t) => get_kind(t.desc)
+  | _ => CompletionItemKindText
+  };
+
+let send_completion =
+    (~id: Protocol.message_id, completions: list(completion_item)) => {
+  Protocol.response(
+    ~id,
+    ResponseResult.to_yojson({isIncomplete: false, items: completions}),
+  );
+};
+
+module Resolution = {
+  // https://microsoft.github.io/language-server-protocol/specifications/lsp/3.17/specification/#completionItem
+  module RequestParams = {
+    // TODO: implement the rest of the fields
+    [@deriving yojson({strict: false})]
+    type t = {label: string};
+  };
+
+  // As per https://microsoft.github.io/language-server-protocol/specifications/lsp/3.17/specification/#textDocument_completion
+  // If computing full completion items is expensive, servers can additionally provide a handler for
+  // the completion item resolve request (‘completionItem/resolve’). This request is sent when a
+  // completion item is selected in the user interface.
+  let process =
+      (
+        ~id: Protocol.message_id,
+        ~compiled_code: Hashtbl.t(Protocol.uri, Typedtree.typed_program),
+        ~cached_code: Hashtbl.t(Protocol.uri, Typedtree.typed_program),
+        ~documents: Hashtbl.t(Protocol.uri, string),
+        params: RequestParams.t,
+      ) => {
+    // Right now we just resolve nothing to clear the client's request
+    // In future we may want to send more details back with Graindoc details for example
+    send_completion(
+      ~id,
+      [],
+    );
+  };
+};
+
+let process =
+    (
+      ~id: Protocol.message_id,
+      ~compiled_code: Hashtbl.t(Protocol.uri, Typedtree.typed_program),
+      ~cached_code: Hashtbl.t(Protocol.uri, Typedtree.typed_program),
+      ~documents: Hashtbl.t(Protocol.uri, string),
+      params: RequestParams.t,
+    ) => {
+  let completable =
+    get_original_text(
+      documents,
+      params.text_document.uri,
+      params.position.line,
+      params.position.character,
+    );
+  switch (completable) {
+  | None => send_completion(~id, [])
+  | Some(text) =>
+    switch (Hashtbl.find_opt(cached_code, params.text_document.uri)) {
+    | None => send_completion(~id, [])
+    | Some(compiled_code) =>
+      let modules =
+        Env.fold_modules(
+          (tag, path, decl, acc) => {
+            List.append(acc, [Printtyp.string_of_path(path)])
+          },
+          None,
+          compiled_code.env,
+          [],
+        );
+
+      let completions =
+        switch (String_utils.char_at(text, 0)) {
+        | Some('A' .. 'Z') =>
+          // autocomplete modules
+          switch (String.rindex(text, '.')) {
+          | exception exn =>
+            let types =
+              Env.fold_types(
+                (tag, path, (type_decl, type_descs), acc) => {
+                  List.append(acc, [Printtyp.string_of_path(path)])
+                },
+                None,
+                compiled_code.env,
+                [],
+              );
+
+            let converted_modules =
+              List.map(
+                (m: string) => {
+                  let item: completion_item = {
+                    label: m,
+                    kind: CompletionItemKindModule,
+                    detail: "",
+                    documentation: "",
+                  };
+                  item;
+                },
+                modules,
+              );
+
+            let converted_types =
+              List.map(
+                (t: string) => {
+                  let item: completion_item = {
+                    label: t,
+                    kind: CompletionItemKindStruct,
+                    detail: "",
+                    documentation: "",
+                  };
+                  item;
+                },
+                types,
+              );
+
+            converted_modules @ converted_types;
+          | pos =>
+            // find module name
+
+            let mod_name = String_utils.slice(~first=0, ~last=pos, text);
+            let ident: Ident.t = {name: mod_name, stamp: 0, flags: 0};
+
+            // only look up completions for imported modules
+            if (!List.exists((m: string) => m == mod_name, modules)) {
+              [];
+            } else {
+              List.map(
+                (m: Modules.export) => {
+                  let kind =
+                    switch (m.kind) {
+                    | Function => CompletionItemKindFunction
+                    | Value => CompletionItemKindValue
+                    | Record => CompletionItemKindStruct
+                    | Enum => CompletionItemKindEnum
+                    | Abstract => CompletionItemKindTypeParameter
+                    | Exception => CompletionItemKindTypeParameter
+                    };
+
+                  {
+                    label: m.name,
+                    kind,
+                    detail: m.signature,
+                    documentation: "",
+                  };
+                },
+                Modules.get_exports(~path=PIdent(ident), compiled_code),
+              );
+            };
+          }
+
+        | _ =>
+          // Autocompete anything in scope
+          let values: list((string, Types.value_description)) =
+            Env.fold_values(
+              (tag, path, vd, acc) => {
+                List.append(acc, [(Printtyp.string_of_path(path), vd)])
+              },
+              None,
+              compiled_code.env,
+              [],
+            );
+
+          List.map(
+            ((i: string, l: Types.value_description)) => {
+              let item: completion_item = {
+                label: i,
+                kind: get_kind(l.val_type.desc),
+                detail: Printtyp.string_of_type_scheme(l.val_type),
+                documentation: "",
+              };
+              item;
+            },
+            values,
+          );
+        };
+
+      send_completion(~id, completions);
+    }
+  };
+};

compiler/src/language_server/completion.rei

@@ -0,0 +1,41 @@
+open Grain_typed;
+
+// https://microsoft.github.io/language-server-protocol/specifications/lsp/3.17/specification/#completionParams
+module RequestParams: {
+  [@deriving yojson({strict: false})]
+  type t;
+};
+
+// https://microsoft.github.io/language-server-protocol/specifications/lsp/3.17/specification/#completionList
+module ResponseResult: {
+  [@deriving yojson]
+  type t;
+};
+
+let process:
+  (
+    ~id: Protocol.message_id,
+    ~compiled_code: Hashtbl.t(Protocol.uri, Typedtree.typed_program),
+    ~cached_code: Hashtbl.t(Protocol.uri, Typedtree.typed_program),
+    ~documents: Hashtbl.t(Protocol.uri, string),
+    RequestParams.t
+  ) =>
+  unit;
+
+module Resolution: {
+  // https://microsoft.github.io/language-server-protocol/specifications/lsp/3.17/specification/#completionItem
+  module RequestParams: {
+    [@deriving yojson({strict: false})]
+    type t;
+  };
+
+  let process:
+    (
+      ~id: Protocol.message_id,
+      ~compiled_code: Hashtbl.t(Protocol.uri, Typedtree.typed_program),
+      ~cached_code: Hashtbl.t(Protocol.uri, Typedtree.typed_program),
+      ~documents: Hashtbl.t(Protocol.uri, string),
+      RequestParams.t
+    ) =>
+    unit;
+};

compiler/src/language_server/initialize.re

@@ -27,6 +27,14 @@ module RequestParams = {
 
 // https://microsoft.github.io/language-server-protocol/specifications/lsp/3.17/specification/#initializeResult
 module ResponseResult = {
+  [@deriving yojson]
+  type completion_values = {
+    [@key "resolveProvider"]
+    resolve_provider: bool,
+    [@key "triggerCharacters"]
+    trigger_characters: list(string),
+  };
+
   [@deriving yojson]
   type code_values = {
     [@key "resolveProvider"]
@@ -41,6 +49,8 @@ module ResponseResult = {
     text_document_sync: Protocol.text_document_sync_kind,
     [@key "hoverProvider"]
     hover_provider: bool,
+    [@key "completionProvider"]
+    completion_provider: completion_values,
     [@key "definitionProvider"]
     definition_provider: bool,
     [@key "typeDefinitionProvider"]
@@ -60,13 +70,18 @@ module ResponseResult = {
     [@key "renameProvider"]
     rename_provider: bool,
   };
+
   [@deriving yojson]
   type t = {capabilities: lsp_capabilities};
 
   let capabilities = {
     document_formatting_provider: true,
     text_document_sync: Full,
     hover_provider: true,
+    completion_provider: {
+      resolve_provider: true,
+      trigger_characters: ["."],
+    },
     definition_provider: false, // disabled until we can resolve the external module location
     type_definition_provider: false,
     references_provider: false,