From 70d484049cea3ae912d22aea261a6904e411261f Mon Sep 17 00:00:00 2001 From: Andrew Pareles Date: Thu, 29 May 2025 03:07:34 -0700 Subject: [PATCH] rm any casts --- .../contrib/void/electron-main/mcpChannel.ts | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/src/vs/workbench/contrib/void/electron-main/mcpChannel.ts b/src/vs/workbench/contrib/void/electron-main/mcpChannel.ts index 68c345d2..70972abf 100644 --- a/src/vs/workbench/contrib/void/electron-main/mcpChannel.ts +++ b/src/vs/workbench/contrib/void/electron-main/mcpChannel.ts @@ -355,13 +355,13 @@ export class MCPChannel implements IServerChannel { return response } catch (err) { let errorMessage: string; - + // Check if it's an MCP error with a code if (err && typeof err === 'object' && 'code' in err) { - const errorCode = (err as any).code; - const errorName = (err as any).name || 'Unknown Error'; - const errorMsg = (err as any).message || ''; - + const errorCode = err.code; + const errorName = err.name || 'Unknown Error'; + const errorMsg = err.message || ''; + // Map common JSON-RPC error codes to user-friendly messages let codeDescription = ''; switch (errorCode) { @@ -383,7 +383,7 @@ export class MCPChannel implements IServerChannel { default: codeDescription = `Error Code ${errorCode}`; } - + errorMessage = `${errorName} (${codeDescription})${errorMsg ? ': ' + errorMsg : ''}`; } else if (err && typeof err === 'object' && 'message' in err) { // Standard error with message @@ -395,7 +395,7 @@ export class MCPChannel implements IServerChannel { // Unknown error format errorMessage = JSON.stringify(err, null, 2); } - + const fullErrorMessage = `❌ Failed to call tool "${toolName}" on server "${serverName}": ${errorMessage}`; const errorResponse: MCPToolErrorResponse = { event: 'error',