diff --git a/aeon/lsp/server.py b/aeon/lsp/server.py index 2501c608..44b2f63e 100644 --- a/aeon/lsp/server.py +++ b/aeon/lsp/server.py @@ -7,7 +7,6 @@ TEXT_DOCUMENT_DID_OPEN, TEXT_DOCUMENT_DID_CHANGE, WORKSPACE_DID_CHANGE_WATCHED_FILES, - WORKSPACE_EXECUTE_COMMAND, ApplyWorkspaceEditParams, CodeAction, CodeActionKind, @@ -21,7 +20,6 @@ DidChangeWatchedFilesParams, DidOpenTextDocumentParams, Diagnostic, - ExecuteCommandOptions, ExecuteCommandParams, MessageType, PublishDiagnosticsParams, @@ -147,17 +145,11 @@ async def code_action( actions.append(action) return actions - @self.feature( - WORKSPACE_EXECUTE_COMMAND, - ExecuteCommandOptions(commands=[SYNTHESIZE_COMMAND]), - ) + @self.command(SYNTHESIZE_COMMAND) async def execute_command( ls: AeonLanguageServer, params: ExecuteCommandParams, ) -> None: - if params.command != SYNTHESIZE_COMMAND: - return - args = params.arguments or [] if len(args) < 3: ls.show_message("aeon.synthesize requires [uri, hole_name, synthesizer]", MessageType.Error) diff --git a/pyproject.toml b/pyproject.toml index 06ac5cfd..c9b7ba2d 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -1,6 +1,6 @@ [project] name = "AeonLang" -version = "4.0.4b" +version = "4.0.5b0" description = "Language with Refinement Types" authors = [ { name = "Alcides Fonseca", email = "me@alcidesfonseca.com" }