diff --git a/src/server/editorServices.ts b/src/server/editorServices.ts index 4ffdf5d6c5d99..5bb1da251eacb 100644 --- a/src/server/editorServices.ts +++ b/src/server/editorServices.ts @@ -326,8 +326,8 @@ namespace ts.server { typingsInstaller: ITypingsInstaller; eventHandler?: ProjectServiceEventHandler; throttleWaitMilliseconds?: number; - globalPlugins?: string[]; - pluginProbeLocations?: string[]; + globalPlugins?: ReadonlyArray; + pluginProbeLocations?: ReadonlyArray; allowLocalPluginLoads?: boolean; } diff --git a/src/server/server.ts b/src/server/server.ts index 2bf10964fa39a..6b89019632fe9 100644 --- a/src/server/server.ts +++ b/src/server/server.ts @@ -15,8 +15,8 @@ namespace ts.server { typingSafeListLocation: string; npmLocation: string | undefined; telemetryEnabled: boolean; - globalPlugins: string[]; - pluginProbeLocations: string[]; + globalPlugins: ReadonlyArray; + pluginProbeLocations: ReadonlyArray; allowLocalPluginLoads: boolean; } @@ -760,10 +760,10 @@ namespace ts.server { const typingSafeListLocation = findArgument(Arguments.TypingSafeListLocation); const npmLocation = findArgument(Arguments.NpmLocation); - function parseStringArray(argName: string): string[] { + function parseStringArray(argName: string): ReadonlyArray { const arg = findArgument(argName); if (arg === undefined) { - return emptyArray as string[]; // TODO: https://github.com/Microsoft/TypeScript/issues/16312 + return emptyArray; } return arg.split(",").filter(name => name !== ""); } diff --git a/src/server/session.ts b/src/server/session.ts index 8fa580d7225ad..1ad584c931ed2 100644 --- a/src/server/session.ts +++ b/src/server/session.ts @@ -259,8 +259,8 @@ namespace ts.server { eventHandler?: ProjectServiceEventHandler; throttleWaitMilliseconds?: number; - globalPlugins?: string[]; - pluginProbeLocations?: string[]; + globalPlugins?: ReadonlyArray; + pluginProbeLocations?: ReadonlyArray; allowLocalPluginLoads?: boolean; }