2020-01-02 15:13:47 -05:00
|
|
|
// Copyright 2018-2020 the Deno authors. All rights reserved. MIT license.
|
2019-09-02 17:07:11 -04:00
|
|
|
// TODO(ry) Combine this implementation with //deno_typescript/compiler_main.js
|
|
|
|
|
2020-01-27 21:12:25 -05:00
|
|
|
// This module is the entry point for "compiler" isolate, ie. the one
|
|
|
|
// that is created when Deno needs to compile TS/WASM to JS.
|
|
|
|
//
|
|
|
|
// It provides a two functions that should be called by Rust:
|
|
|
|
// - `bootstrapTsCompilerRuntime`
|
|
|
|
// - `bootstrapWasmCompilerRuntime`
|
|
|
|
// Either of these functions must be called when creating isolate
|
|
|
|
// to properly setup runtime.
|
|
|
|
|
|
|
|
// NOTE: this import has side effects!
|
2019-09-12 17:30:04 -04:00
|
|
|
import "./ts_global.d.ts";
|
2019-09-02 17:07:11 -04:00
|
|
|
|
2020-01-08 09:17:44 -05:00
|
|
|
import { TranspileOnlyResult } from "./compiler_api.ts";
|
2020-01-27 21:12:25 -05:00
|
|
|
import { TS_SNAPSHOT_PROGRAM } from "./compiler_bootstrap.ts";
|
2020-01-08 09:17:44 -05:00
|
|
|
import { setRootExports } from "./compiler_bundler.ts";
|
|
|
|
import {
|
2020-01-24 14:15:01 -05:00
|
|
|
CompilerHostTarget,
|
2020-01-08 09:17:44 -05:00
|
|
|
defaultBundlerOptions,
|
|
|
|
defaultRuntimeCompileOptions,
|
|
|
|
defaultTranspileOptions,
|
|
|
|
Host
|
|
|
|
} from "./compiler_host.ts";
|
|
|
|
import {
|
|
|
|
processImports,
|
|
|
|
processLocalImports,
|
|
|
|
resolveModules
|
|
|
|
} from "./compiler_imports.ts";
|
|
|
|
import {
|
|
|
|
createWriteFile,
|
|
|
|
CompilerRequestType,
|
|
|
|
convertCompilerOptions,
|
|
|
|
ignoredDiagnostics,
|
|
|
|
WriteFileState,
|
|
|
|
processConfigureResponse
|
|
|
|
} from "./compiler_util.ts";
|
|
|
|
import { Diagnostic } from "./diagnostics.ts";
|
|
|
|
import { fromTypeScriptDiagnostic } from "./diagnostics_util.ts";
|
|
|
|
import { assert } from "./util.ts";
|
2019-09-02 17:07:11 -04:00
|
|
|
import * as util from "./util.ts";
|
2020-01-21 09:53:29 -05:00
|
|
|
import {
|
2020-01-27 21:12:25 -05:00
|
|
|
bootstrapWorkerRuntime,
|
|
|
|
runWorkerMessageLoop
|
|
|
|
} from "./runtime_worker.ts";
|
2020-01-20 09:30:30 -05:00
|
|
|
|
2020-01-08 09:17:44 -05:00
|
|
|
interface CompilerRequestCompile {
|
|
|
|
type: CompilerRequestType.Compile;
|
2020-01-24 14:15:01 -05:00
|
|
|
target: CompilerHostTarget;
|
2019-05-20 12:06:57 -04:00
|
|
|
rootNames: string[];
|
|
|
|
// TODO(ry) add compiler config to this interface.
|
|
|
|
// options: ts.CompilerOptions;
|
|
|
|
configPath?: string;
|
|
|
|
config?: string;
|
2020-01-08 09:17:44 -05:00
|
|
|
bundle?: boolean;
|
|
|
|
outFile?: string;
|
2019-06-04 09:03:56 -04:00
|
|
|
}
|
|
|
|
|
2020-01-08 09:17:44 -05:00
|
|
|
interface CompilerRequestRuntimeCompile {
|
|
|
|
type: CompilerRequestType.RuntimeCompile;
|
2020-01-24 14:15:01 -05:00
|
|
|
target: CompilerHostTarget;
|
2020-01-08 09:17:44 -05:00
|
|
|
rootName: string;
|
|
|
|
sources?: Record<string, string>;
|
|
|
|
bundle?: boolean;
|
|
|
|
options?: string;
|
2019-10-03 07:23:29 -04:00
|
|
|
}
|
|
|
|
|
2020-01-08 09:17:44 -05:00
|
|
|
interface CompilerRequestRuntimeTranspile {
|
|
|
|
type: CompilerRequestType.RuntimeTranspile;
|
|
|
|
sources: Record<string, string>;
|
|
|
|
options?: string;
|
2019-05-20 12:06:57 -04:00
|
|
|
}
|
2018-08-24 00:07:01 -04:00
|
|
|
|
2020-01-08 09:17:44 -05:00
|
|
|
/** The format of the work message payload coming from the privileged side */
|
|
|
|
type CompilerRequest =
|
|
|
|
| CompilerRequestCompile
|
|
|
|
| CompilerRequestRuntimeCompile
|
|
|
|
| CompilerRequestRuntimeTranspile;
|
|
|
|
|
|
|
|
/** The format of the result sent back when doing a compilation. */
|
|
|
|
interface CompileResult {
|
2019-06-04 09:03:56 -04:00
|
|
|
emitSkipped: boolean;
|
|
|
|
diagnostics?: Diagnostic;
|
|
|
|
}
|
|
|
|
|
2020-01-27 21:12:25 -05:00
|
|
|
// TODO(bartlomieju): refactor this function into multiple functions
|
|
|
|
// per CompilerRequestType
|
|
|
|
async function tsCompilerOnMessage({
|
|
|
|
data: request
|
|
|
|
}: {
|
|
|
|
data: CompilerRequest;
|
|
|
|
}): Promise<void> {
|
|
|
|
switch (request.type) {
|
|
|
|
// `Compile` are requests from the internals to Deno, generated by both
|
|
|
|
// the `run` and `bundle` sub command.
|
|
|
|
case CompilerRequestType.Compile: {
|
|
|
|
const {
|
|
|
|
bundle,
|
|
|
|
config,
|
|
|
|
configPath,
|
|
|
|
outFile,
|
|
|
|
rootNames,
|
|
|
|
target
|
|
|
|
} = request;
|
|
|
|
util.log(">>> compile start", {
|
|
|
|
rootNames,
|
|
|
|
type: CompilerRequestType[request.type]
|
|
|
|
});
|
|
|
|
|
|
|
|
// This will recursively analyse all the code for other imports,
|
|
|
|
// requesting those from the privileged side, populating the in memory
|
|
|
|
// cache which will be used by the host, before resolving.
|
|
|
|
const resolvedRootModules = await processImports(
|
|
|
|
rootNames.map(rootName => [rootName, rootName])
|
|
|
|
);
|
|
|
|
|
|
|
|
// When a programme is emitted, TypeScript will call `writeFile` with
|
|
|
|
// each file that needs to be emitted. The Deno compiler host delegates
|
|
|
|
// this, to make it easier to perform the right actions, which vary
|
|
|
|
// based a lot on the request. For a `Compile` request, we need to
|
|
|
|
// cache all the files in the privileged side if we aren't bundling,
|
|
|
|
// and if we are bundling we need to enrich the bundle and either write
|
|
|
|
// out the bundle or log it to the console.
|
|
|
|
const state: WriteFileState = {
|
|
|
|
type: request.type,
|
|
|
|
bundle,
|
|
|
|
host: undefined,
|
|
|
|
outFile,
|
|
|
|
rootNames
|
|
|
|
};
|
|
|
|
const writeFile = createWriteFile(state);
|
|
|
|
|
|
|
|
const host = (state.host = new Host({
|
|
|
|
bundle,
|
|
|
|
target,
|
|
|
|
writeFile
|
|
|
|
}));
|
|
|
|
let diagnostics: readonly ts.Diagnostic[] | undefined;
|
|
|
|
|
|
|
|
// if there is a configuration supplied, we need to parse that
|
|
|
|
if (config && config.length && configPath) {
|
|
|
|
const configResult = host.configure(configPath, config);
|
|
|
|
diagnostics = processConfigureResponse(configResult, configPath);
|
|
|
|
}
|
|
|
|
|
|
|
|
let emitSkipped = true;
|
|
|
|
// if there was a configuration and no diagnostics with it, we will continue
|
|
|
|
// to generate the program and possibly emit it.
|
|
|
|
if (!diagnostics || (diagnostics && diagnostics.length === 0)) {
|
|
|
|
const options = host.getCompilationSettings();
|
|
|
|
const program = ts.createProgram({
|
2020-01-08 09:17:44 -05:00
|
|
|
rootNames,
|
2020-01-27 21:12:25 -05:00
|
|
|
options,
|
|
|
|
host,
|
|
|
|
oldProgram: TS_SNAPSHOT_PROGRAM
|
2020-01-08 09:17:44 -05:00
|
|
|
});
|
|
|
|
|
2020-01-27 21:12:25 -05:00
|
|
|
diagnostics = ts
|
|
|
|
.getPreEmitDiagnostics(program)
|
|
|
|
.filter(({ code }) => !ignoredDiagnostics.includes(code));
|
2020-01-08 09:17:44 -05:00
|
|
|
|
2020-01-27 21:12:25 -05:00
|
|
|
// We will only proceed with the emit if there are no diagnostics.
|
|
|
|
if (diagnostics && diagnostics.length === 0) {
|
|
|
|
if (bundle) {
|
|
|
|
// we only support a single root module when bundling
|
|
|
|
assert(resolvedRootModules.length === 1);
|
|
|
|
// warning so it goes to stderr instead of stdout
|
|
|
|
console.warn(`Bundling "${resolvedRootModules[0]}"`);
|
|
|
|
setRootExports(program, resolvedRootModules[0]);
|
2020-01-08 09:17:44 -05:00
|
|
|
}
|
2020-01-27 21:12:25 -05:00
|
|
|
const emitResult = program.emit();
|
|
|
|
emitSkipped = emitResult.emitSkipped;
|
|
|
|
// emitResult.diagnostics is `readonly` in TS3.5+ and can't be assigned
|
|
|
|
// without casting.
|
|
|
|
diagnostics = emitResult.diagnostics;
|
2020-01-08 09:17:44 -05:00
|
|
|
}
|
2020-01-27 21:12:25 -05:00
|
|
|
}
|
2020-01-08 09:17:44 -05:00
|
|
|
|
2020-01-27 21:12:25 -05:00
|
|
|
const result: CompileResult = {
|
|
|
|
emitSkipped,
|
|
|
|
diagnostics: diagnostics.length
|
|
|
|
? fromTypeScriptDiagnostic(diagnostics)
|
|
|
|
: undefined
|
|
|
|
};
|
|
|
|
globalThis.postMessage(result);
|
|
|
|
|
|
|
|
util.log("<<< compile end", {
|
|
|
|
rootNames,
|
|
|
|
type: CompilerRequestType[request.type]
|
|
|
|
});
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case CompilerRequestType.RuntimeCompile: {
|
|
|
|
// `RuntimeCompile` are requests from a runtime user, both compiles and
|
|
|
|
// bundles. The process is similar to a request from the privileged
|
|
|
|
// side, but also returns the output to the on message.
|
|
|
|
const { rootName, sources, options, bundle, target } = request;
|
|
|
|
|
|
|
|
util.log(">>> runtime compile start", {
|
|
|
|
rootName,
|
|
|
|
bundle,
|
|
|
|
sources: sources ? Object.keys(sources) : undefined
|
|
|
|
});
|
|
|
|
|
|
|
|
const resolvedRootName = sources
|
|
|
|
? rootName
|
|
|
|
: resolveModules([rootName])[0];
|
|
|
|
|
|
|
|
const rootNames = sources
|
|
|
|
? processLocalImports(sources, [[resolvedRootName, resolvedRootName]])
|
|
|
|
: await processImports([[resolvedRootName, resolvedRootName]]);
|
|
|
|
|
|
|
|
const state: WriteFileState = {
|
|
|
|
type: request.type,
|
|
|
|
bundle,
|
|
|
|
host: undefined,
|
|
|
|
rootNames,
|
|
|
|
sources,
|
|
|
|
emitMap: {},
|
|
|
|
emitBundle: undefined
|
|
|
|
};
|
|
|
|
const writeFile = createWriteFile(state);
|
|
|
|
|
|
|
|
const host = (state.host = new Host({
|
|
|
|
bundle,
|
|
|
|
target,
|
|
|
|
writeFile
|
|
|
|
}));
|
|
|
|
const compilerOptions = [defaultRuntimeCompileOptions];
|
|
|
|
if (options) {
|
|
|
|
compilerOptions.push(convertCompilerOptions(options));
|
2020-01-08 09:17:44 -05:00
|
|
|
}
|
2020-01-27 21:12:25 -05:00
|
|
|
if (bundle) {
|
|
|
|
compilerOptions.push(defaultBundlerOptions);
|
|
|
|
}
|
|
|
|
host.mergeOptions(...compilerOptions);
|
2019-06-04 09:03:56 -04:00
|
|
|
|
2020-01-27 21:12:25 -05:00
|
|
|
const program = ts.createProgram({
|
|
|
|
rootNames,
|
|
|
|
options: host.getCompilationSettings(),
|
|
|
|
host,
|
|
|
|
oldProgram: TS_SNAPSHOT_PROGRAM
|
|
|
|
});
|
2020-01-08 09:17:44 -05:00
|
|
|
|
2020-01-27 21:12:25 -05:00
|
|
|
if (bundle) {
|
|
|
|
setRootExports(program, rootNames[0]);
|
|
|
|
}
|
2020-01-08 09:17:44 -05:00
|
|
|
|
2020-01-27 21:12:25 -05:00
|
|
|
const diagnostics = ts
|
|
|
|
.getPreEmitDiagnostics(program)
|
|
|
|
.filter(({ code }) => !ignoredDiagnostics.includes(code));
|
2020-01-08 09:17:44 -05:00
|
|
|
|
2020-01-27 21:12:25 -05:00
|
|
|
const emitResult = program.emit();
|
2020-01-08 09:17:44 -05:00
|
|
|
|
2020-01-27 21:12:25 -05:00
|
|
|
assert(emitResult.emitSkipped === false, "Unexpected skip of the emit.");
|
|
|
|
const result = [
|
|
|
|
diagnostics.length ? fromTypeScriptDiagnostic(diagnostics) : undefined,
|
|
|
|
bundle ? state.emitBundle : state.emitMap
|
|
|
|
];
|
|
|
|
globalThis.postMessage(result);
|
2020-01-08 09:17:44 -05:00
|
|
|
|
2020-01-27 21:12:25 -05:00
|
|
|
assert(state.emitMap);
|
|
|
|
util.log("<<< runtime compile finish", {
|
|
|
|
rootName,
|
|
|
|
sources: sources ? Object.keys(sources) : undefined,
|
|
|
|
bundle,
|
|
|
|
emitMap: Object.keys(state.emitMap)
|
|
|
|
});
|
2020-01-08 09:17:44 -05:00
|
|
|
|
2020-01-27 21:12:25 -05:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
case CompilerRequestType.RuntimeTranspile: {
|
|
|
|
const result: Record<string, TranspileOnlyResult> = {};
|
|
|
|
const { sources, options } = request;
|
|
|
|
const compilerOptions = options
|
|
|
|
? Object.assign(
|
|
|
|
{},
|
|
|
|
defaultTranspileOptions,
|
|
|
|
convertCompilerOptions(options)
|
|
|
|
)
|
|
|
|
: defaultTranspileOptions;
|
|
|
|
|
|
|
|
for (const [fileName, inputText] of Object.entries(sources)) {
|
|
|
|
const { outputText: source, sourceMapText: map } = ts.transpileModule(
|
|
|
|
inputText,
|
|
|
|
{
|
|
|
|
fileName,
|
|
|
|
compilerOptions
|
|
|
|
}
|
2020-01-08 09:17:44 -05:00
|
|
|
);
|
2020-01-27 21:12:25 -05:00
|
|
|
result[fileName] = { source, map };
|
2020-01-08 09:17:44 -05:00
|
|
|
}
|
2020-01-27 21:12:25 -05:00
|
|
|
globalThis.postMessage(result);
|
2019-04-29 10:58:31 -04:00
|
|
|
|
2020-01-27 21:12:25 -05:00
|
|
|
break;
|
2020-01-08 09:17:44 -05:00
|
|
|
}
|
2020-01-27 21:12:25 -05:00
|
|
|
default:
|
|
|
|
util.log(
|
|
|
|
`!!! unhandled CompilerRequestType: ${
|
|
|
|
(request as CompilerRequest).type
|
|
|
|
} (${CompilerRequestType[(request as CompilerRequest).type]})`
|
|
|
|
);
|
|
|
|
}
|
|
|
|
|
|
|
|
// The compiler isolate exits after a single message.
|
2020-01-29 12:54:23 -05:00
|
|
|
globalThis.close();
|
2020-01-27 21:12:25 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
async function wasmCompilerOnMessage({
|
|
|
|
data: binary
|
|
|
|
}: {
|
|
|
|
data: string;
|
|
|
|
}): Promise<void> {
|
|
|
|
const buffer = util.base64ToUint8Array(binary);
|
|
|
|
// @ts-ignore
|
|
|
|
const compiled = await WebAssembly.compile(buffer);
|
|
|
|
|
|
|
|
util.log(">>> WASM compile start");
|
2019-10-03 07:23:29 -04:00
|
|
|
|
2020-01-27 21:12:25 -05:00
|
|
|
const importList = Array.from(
|
2019-11-14 08:31:39 -05:00
|
|
|
// @ts-ignore
|
2020-01-27 21:12:25 -05:00
|
|
|
new Set(WebAssembly.Module.imports(compiled).map(({ module }) => module))
|
|
|
|
);
|
|
|
|
const exportList = Array.from(
|
|
|
|
// @ts-ignore
|
|
|
|
new Set(WebAssembly.Module.exports(compiled).map(({ name }) => name))
|
|
|
|
);
|
2019-11-14 08:31:39 -05:00
|
|
|
|
2020-01-27 21:12:25 -05:00
|
|
|
globalThis.postMessage({ importList, exportList });
|
2019-11-14 08:31:39 -05:00
|
|
|
|
2020-01-27 21:12:25 -05:00
|
|
|
util.log("<<< WASM compile end");
|
2019-11-14 08:31:39 -05:00
|
|
|
|
2020-01-27 21:12:25 -05:00
|
|
|
// The compiler isolate exits after a single message.
|
2020-01-29 12:54:23 -05:00
|
|
|
globalThis.close();
|
2020-01-27 21:12:25 -05:00
|
|
|
}
|
2019-11-14 08:31:39 -05:00
|
|
|
|
2020-01-27 21:12:25 -05:00
|
|
|
function bootstrapTsCompilerRuntime(): void {
|
|
|
|
bootstrapWorkerRuntime("TS");
|
|
|
|
globalThis.onmessage = tsCompilerOnMessage;
|
|
|
|
runWorkerMessageLoop();
|
|
|
|
}
|
|
|
|
|
|
|
|
function bootstrapWasmCompilerRuntime(): void {
|
|
|
|
bootstrapWorkerRuntime("WASM");
|
|
|
|
globalThis.onmessage = wasmCompilerOnMessage;
|
|
|
|
runWorkerMessageLoop();
|
|
|
|
}
|
2019-11-14 08:31:39 -05:00
|
|
|
|
2020-01-27 21:12:25 -05:00
|
|
|
Object.defineProperties(globalThis, {
|
|
|
|
bootstrapWasmCompilerRuntime: {
|
|
|
|
value: bootstrapWasmCompilerRuntime,
|
|
|
|
enumerable: false,
|
|
|
|
writable: false,
|
|
|
|
configurable: false
|
|
|
|
},
|
|
|
|
bootstrapTsCompilerRuntime: {
|
|
|
|
value: bootstrapTsCompilerRuntime,
|
|
|
|
enumerable: false,
|
|
|
|
writable: false,
|
|
|
|
configurable: false
|
|
|
|
}
|
|
|
|
});
|