Update harnessIO.ts

This commit is contained in:
Daniel Rosenwasser 2020-12-02 14:04:53 -08:00 committed by GitHub
parent 85bda70042
commit cdd9a2abb1
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -292,13 +292,12 @@ namespace Harness {
baselineFile?: string;
libFiles?: string;
noTypesAndSymbols?: boolean;
currentDirectory?: string;
fullEmitPaths?: boolean;
}
// Ensure that each value has a corresponding property in HarnessOptions
type ValidOption = keyof HarnessOptions | keyof ts.CompilerOptions;
// Additional options not already in ts.optionDeclarations
const harnessOptionDeclarations: Array<ts.CommandLineOption & { name: ValidOption }> = [
const harnessOptionDeclarations: ts.CommandLineOption[] = [
{ name: "allowNonTsExtensions", type: "boolean" },
{ name: "useCaseSensitiveFileNames", type: "boolean" },
{ name: "baselineFile", type: "string" },