search

agda / agda-language-server

Language Server for Agda
MIT License
99 stars 17 forks source link

lsp: no handler for ... #15

Closed omentic closed 8 months ago

omentic commented 11 months ago

I've been attempting to get als working with Helix's language server implementation. It seems to not recognize any of the events Helix is sending, though. Some selected events in Helix's log:

[INFO] als <- {"jsonrpc":"2.0","params":{"type":1,"message":"lsp:no handler for:  STextDocumentDidSave"},"method":"window/logMessage"}
[INFO] als <- {"jsonrpc":"2.0","params":{"type":1,"message":"lsp:no handler for:  STextDocumentDidChange"},"method":"window/logMessage"}
[INFO] als <- {"jsonrpc":"2.0","params":{"type":1,"message":"lsp:no handler for:  SInitialized"},"method":"window/logMessage"}
[INFO] als <- {"jsonrpc":"2.0","params":{"type":1,"message":"lsp:no handler for:  STextDocumentDidOpen"},"method":"window/logMessage"}
[INFO] window/logMessage: LogMessageParams { typ: Error, message: "lsp:no handler for:  STextDocumentDidClose" }

Would you happen to understand this error? I can't quite figure out if it's an issue with the editor I'm integrating this language server with or the language server itself. It's almost like the language server is passing over some serialized Haskell types, or something?

omentic commented 8 months ago

(fixed)