diff options
author | Simon Van Casteren <simon.van.casteren@gmail.com> | 2019-12-13 14:44:20 +0100 |
---|---|---|
committer | Simon Van Casteren <simon.van.casteren@gmail.com> | 2019-12-13 14:44:20 +0100 |
commit | e74d203806efea612ef2ab33da1e561c077d6c16 (patch) | |
tree | 05e7faeaaee52d3dce13693ec0cd6a10d16457e8 /src/lspspec.sml | |
parent | be644b0be6acd3cdeb957d46e9477ea3e16599ba (diff) |
Added initializationOption to specify project if multiple urp files
Diffstat (limited to 'src/lspspec.sml')
-rw-r--r-- | src/lspspec.sml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/lspspec.sml b/src/lspspec.sml index 7993038e..fe1711f0 100644 --- a/src/lspspec.sml +++ b/src/lspspec.sml @@ -195,12 +195,14 @@ structure LspSpec = struct { textDocument = parseTextDocumentIdentifier (FromJson.get "textDocument" params) } type initializeParams = - { rootUri: documentUri option } + { rootUri: documentUri option + , initializationOptions: Json.json } fun parseInitializeParams (j: Json.json) = { rootUri = Option.map parseDocumentUri (FromJson.asOptionalString (FromJson.get "rootUri" j)) + , initializationOptions = FromJson.get "initializationOptions" j } type diagnostic = { range: range (* code?: number | string *) |