aboutsummaryrefslogtreecommitdiff
path: root/lib/compilers/kotlin.ts
diff options
context:
space:
mode:
authorpartouf <partouf@gmail.com>2023-10-24 17:30:36 +0200
committerpartouf <partouf@gmail.com>2023-10-24 17:30:36 +0200
commit5ef2fb1025d46908fbe2ddd5c7d335a117b9e983 (patch)
treee169f5f54b9093169c1965570e9d5999d6a723ec /lib/compilers/kotlin.ts
parentb93fdb3ca36cbbb4d83f745d45dbb0946a46bcee (diff)
downloadcompiler-explorer-5ef2fb1025d46908fbe2ddd5c7d335a117b9e983.tar.gz
compiler-explorer-5ef2fb1025d46908fbe2ddd5c7d335a117b9e983.zip
add typesgh-9218
Diffstat (limited to 'lib/compilers/kotlin.ts')
-rw-r--r--lib/compilers/kotlin.ts3
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/compilers/kotlin.ts b/lib/compilers/kotlin.ts
index 9b1bab103..51a8bb509 100644
--- a/lib/compilers/kotlin.ts
+++ b/lib/compilers/kotlin.ts
@@ -24,6 +24,7 @@
import {BypassCache} from '../../types/compilation/compilation.interfaces.js';
import type {PreliminaryCompilerInfo} from '../../types/compiler.interfaces.js';
+import {ExecutableExecutionOptions} from '../../types/execution/execution.interfaces.js';
import type {ParseFiltersAndOutputOptions} from '../../types/features/filters.interfaces.js';
import {KotlinParser} from './argument-parsers.js';
@@ -94,7 +95,7 @@ export class KotlinCompiler extends JavaCompiler {
*
* TODO(supergrecko): Find a better fix than this bandaid for execution
*/
- override async handleInterpreting(key, executeParameters) {
+ override async handleInterpreting(key, executeParameters: ExecutableExecutionOptions) {
const alteredKey = {
...key,
options: ['-include-runtime', '-d', 'example.jar'],