diff options
| author | srichman333 <sarah_n_richman@brown.edu> | 2024-01-29 14:12:02 -0500 |
|---|---|---|
| committer | srichman333 <sarah_n_richman@brown.edu> | 2024-01-29 14:12:02 -0500 |
| commit | 04d0021899a07ec877d470e914cabbd0897cccea (patch) | |
| tree | 6bdae15eab149f671c8f491618be6f249eb7cec6 /src/client/util/Scripting.ts | |
| parent | d252886fe97524603ee49e577a535a39f1e664ae (diff) | |
| parent | 1a32884f5084d9c39190e44bd9331e94590322e5 (diff) | |
merge
Diffstat (limited to 'src/client/util/Scripting.ts')
| -rw-r--r-- | src/client/util/Scripting.ts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/client/util/Scripting.ts b/src/client/util/Scripting.ts index dbb994dbd..dfaacf318 100644 --- a/src/client/util/Scripting.ts +++ b/src/client/util/Scripting.ts @@ -248,7 +248,7 @@ export function CompileScript(script: string, options: ScriptOptions = {}): Comp const funcScript = `(function(${paramString})${reqTypes} { ${body} })`; host.writeFile('file.ts', funcScript); - if (typecheck && false) host.writeFile('node_modules/typescript/lib/lib.d.ts', typescriptlib); + if (typecheck) host.writeFile('node_modules/typescript/lib/lib.d.ts', typescriptlib.default); const program = ts.createProgram(['file.ts'], {}, host); const testResult = program.emit(); const outputText = host.readFile('file.js'); |