File tree Expand file tree Collapse file tree 1 file changed +15
-15
lines changed
src/vscode/superbol-vscode-platform Expand file tree Collapse file tree 1 file changed +15
-15
lines changed Original file line number Diff line number Diff line change 12
12
(* *)
13
13
(* *************************************************************************)
14
14
15
- let command =
16
- Vscode.Workspace. getConfiguration ()
17
- |> Vscode.WorkspaceConfiguration. get ~section: " superbol.path"
18
- |> function Some o -> Ojs. string_of_js o
19
- | None -> " superbol"
15
+ let config = Vscode.Workspace. getConfiguration ()
20
16
21
- let args = [" x-lsp" ]
22
-
23
- let serverOptions = Vscode_languageclient.ServerOptions. create
17
+ let serverOptions =
18
+ let command =
19
+ match Vscode.WorkspaceConfiguration. get ~section: " superbol.path" config with
20
+ | Some o -> Ojs. string_of_js o
21
+ | None -> " superbol-free"
22
+ in
23
+ Vscode_languageclient.ServerOptions. create ()
24
24
~command
25
- ~args
26
- ()
27
-
28
- let documentSelector =
29
- [| `Filter (Vscode_languageclient.DocumentFilter. createLanguage ~language: " cobol" () ) |]
30
-
31
- let clientOptions = Vscode_languageclient.ClientOptions. create ~document Selector ()
25
+ ~args: [" lsp" ]
32
26
27
+ let clientOptions =
28
+ Vscode_languageclient.ClientOptions. create ()
29
+ ~document Selector:[|
30
+ `Filter (Vscode_languageclient.DocumentFilter. createLanguage ()
31
+ ~language: " cobol" );
32
+ |]
You can’t perform that action at this time.
0 commit comments