diff options
| author | unrelentingtech | 2022-04-08 20:02:25 +0000 |
|---|---|---|
| committer | GitHub | 2022-04-08 20:02:25 +0000 |
| commit | 7f461895b02139b8e1addf6ee6651fc3811c6cbe (patch) | |
| tree | 1a960f950651609491de63e69751c60ac5bfbf5b /languages.toml | |
| parent | 9caf7c0d5aae16acd76e39b078ef8a94ed102b65 (diff) | |
Add language server command for OCaml (#2035)
Diffstat (limited to 'languages.toml')
| -rw-r--r-- | languages.toml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/languages.toml b/languages.toml index b56328a8..6c07ec0b 100644 --- a/languages.toml +++ b/languages.toml @@ -529,6 +529,7 @@ file-types = ["ml"] shebangs = [] roots = [] comment-token = "(**)" +language-server = { command = "ocamllsp" } indent = { tab-width = 2, unit = " " } [[grammar]] @@ -542,7 +543,8 @@ file-types = ["mli"] shebangs = [] roots = [] comment-token = "(**)" -indent = { tab-width = 2, unit = " "} +language-server = { command = "ocamllsp" } +indent = { tab-width = 2, unit = " " } [[grammar]] name = "ocaml-interface" |