From b611b4461d7a0f3003587faa5db159b794baf899 Mon Sep 17 00:00:00 2001 From: Lars Reimann Date: Thu, 22 Feb 2024 19:09:36 +0100 Subject: [PATCH] feat: shorter message if runner is started but files have errors (#912) Closes #910 ### Summary of Changes Shorten the message in the error popup if some files in the workspace have errors and the runner is started: ![image](https://github.com/Safe-DS/DSL/assets/2501322/8df4e167-5b13-4bfc-84c6-be586e1428bb) --- packages/safe-ds-vscode/src/extension/mainClient.ts | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/packages/safe-ds-vscode/src/extension/mainClient.ts b/packages/safe-ds-vscode/src/extension/mainClient.ts index 2d33a4ff7..dbc95b964 100644 --- a/packages/safe-ds-vscode/src/extension/mainClient.ts +++ b/packages/safe-ds-vscode/src/extension/mainClient.ts @@ -2,7 +2,7 @@ import * as path from 'node:path'; import * as vscode from 'vscode'; import type { LanguageClientOptions, ServerOptions } from 'vscode-languageclient/node.js'; import { LanguageClient, TransportKind } from 'vscode-languageclient/node.js'; -import { ast, createSafeDsServicesWithBuiltins, SafeDsServices, messages } from '@safe-ds/lang'; +import { ast, createSafeDsServicesWithBuiltins, messages, SafeDsServices } from '@safe-ds/lang'; import { NodeFileSystem } from 'langium/node'; import { getSafeDSOutputChannel, initializeLog, logError, logOutput, printOutputMessage } from './output.js'; import crypto from 'crypto'; @@ -372,9 +372,7 @@ const validateDocuments = async function ( ); } } - return `As file(s) ${errors - .map((validationInfo) => validationInfo.validatedDocument.uri.toString()) - .join(', ')} has errors, the main pipeline cannot be run.`; + return 'Cannot run the main pipeline, because some files have errors.'; } return undefined; };