You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
When using psalm language server as phar-file, the didChange event does not produce publishDiagnostics messages.
Tested with Psalm 4.9.2, PHP 7.4.
For analyzing, I changed:
+++ b/src/Psalm/Internal/LanguageServer/LanguageServer.php
@@ -141,9 +141,11 @@ class LanguageServer extends AdvancedJsonRpc\Dispatcher
/** @psalm-suppress MixedAssignment */
$result = yield $dispatched;
} catch (AdvancedJsonRpc\Error $e) {
+ error_log($e->__toString());
// If a ResponseError is thrown, send it back in the Response
$error = $e;
} catch (Throwable $e) {
+ error_log($e->__toString());
// If an unexpected error occurred, send back an INTERNAL_ERROR error response
$error = new AdvancedJsonRpc\Error(
(string) $e,
When using psalm language server as phar-file, the didChange event does not produce publishDiagnostics messages.
Tested with Psalm 4.9.2, PHP 7.4.
For analyzing, I changed:
and got:
Here is the test script I used: https://gist.github.com/thomasbley/a657a1046830a7da5e302675dba4ea70
The text was updated successfully, but these errors were encountered: