npm run lint:fix

Author: JakubSchwenkbeck

src/effektManager.ts

@@ -560,7 +560,7 @@ export class EffektManager {
    */
   private trimErrorMessage(message: string): string {
     const maxLength = 160;
-    if (message.length <= maxLength) return message;
+    if (message.length <= maxLength) {return message;}
     return message.substring(0, maxLength) + '... (see logs for full message)';
   }
 
@@ -637,8 +637,8 @@ export class EffektManager {
     const effektBackend = this.config.get<string>('backend');
     const effektLib = this.config.get<string>('lib');
 
-    if (effektBackend) args.push('--backend', effektBackend);
-    if (effektLib) args.push('--lib', effektLib);
+    if (effektBackend) {args.push('--backend', effektBackend);}
+    if (effektLib) {args.push('--lib', effektLib);}
 
     const folders = vscode.workspace.workspaceFolders || [];
     // We deliberately use folder.uri.path rather than folder.uri.fsPath

src/extension.ts

@@ -175,7 +175,7 @@ export async function activate(context: vscode.ExtensionContext) {
     };
   }
 
-  let clientOptions: LanguageClientOptions = {
+  const clientOptions: LanguageClientOptions = {
     initializationOptions: vscode.workspace.getConfiguration('effekt'),
     documentSelector: [
       { scheme: 'file', language: 'effekt' },
@@ -241,7 +241,7 @@ export async function activate(context: vscode.ExtensionContext) {
     const text = editor.document.getText();
     const positionAt = editor.document.positionAt;
 
-    let holeDelimiters: vscode.DecorationOptions[] = [];
+    const holeDelimiters: vscode.DecorationOptions[] = [];
     let match;
 
     function addDelimiter(from: number, to: number) {

src/irProvider.ts

@@ -6,7 +6,7 @@ export class EffektIRContentProvider
   private _onDidChange = new vscode.EventEmitter<vscode.Uri>();
   onDidChange?: vscode.Event<vscode.Uri> = this._onDidChange.event;
 
-  private contents: Map<string, string> = new Map();
+  private contents = new Map<string, string>();
 
   update(uri: vscode.Uri, content: string) {
     this.contents.set(uri.toString(), content);