make MegaLinter happy

SEEDS-Group · Aug 20, 2024 · 50c5d4e · 50c5d4e
1 parent 118ffae
commit 50c5d4e
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/packages/ttsl-lang/src/language/generation/ttsl-python-generator.ts b/packages/ttsl-lang/src/language/generation/ttsl-python-generator.ts
@@ -534,7 +534,7 @@ export class TTSLPythonGenerator {
         return expandTracedToNode(funct)`def ${traceToNode(
             funct,
             'name',
-        )(this.getPythonNameOrDefault(funct))}(${this.generateFunctionParameter(funct, infoFrame)}${this.generateParameters(funct.parameterList, infoFrame)}):`
+        )(this.getPythonNameOrDefault(funct))}(${this.generateFunctionParameter(funct)}${this.generateParameters(funct.parameterList, infoFrame)}):`
             .appendNewLine()
             .indent({ indentedChildren: [this.generateFunctionBlock(funct.body, infoFrame, funct.timeunit)], indentation: PYTHON_INDENT });
     }

diff --git a/packages/ttsl-lang/src/language/ttsl-module.ts b/packages/ttsl-lang/src/language/ttsl-module.ts
@@ -116,7 +116,7 @@ export const TTSLModule: Module<TTSLServices, PartialLangiumServices & TTSLAdded
         ScopeProvider: (services) => new TTSLScopeProvider(services),
     },
     types: {
-        TypeChecker: (services) => new TTSLTypeChecker(services),
+        TypeChecker: (services) => new TTSLTypeChecker(),
         TypeComputer: (services) => new TTSLTypeComputer(services),
     },
     workspace: {

diff --git a/packages/ttsl-lang/src/language/validation/ttsl-validator.ts b/packages/ttsl-lang/src/language/validation/ttsl-validator.ts
@@ -72,7 +72,7 @@ export const registerValidationChecks = function (services: TTSLServices) {
         ],
         TslAssignment: [
             assignmentAssigneeMustGetValue(services),
-            assignmentShouldNotImplicitlyIgnoreResult(services),
+            assignmentShouldNotImplicitlyIgnoreResult(),
         ],
         TslAbstractCall: [
             argumentListMustNotHaveTooManyArguments(services),