diff --git a/src/Compiler/Driver/CompilerOptions.fs b/src/Compiler/Driver/CompilerOptions.fs index ffaa016ba22..f8fcbda2d6a 100644 --- a/src/Compiler/Driver/CompilerOptions.fs +++ b/src/Compiler/Driver/CompilerOptions.fs @@ -521,23 +521,12 @@ let SetOptimizeOff (tcConfigB: TcConfigBuilder) = tcConfigB.optSettings <- { tcConfigB.optSettings with jitOptUser = Some false - } - - tcConfigB.optSettings <- - { tcConfigB.optSettings with localOptUser = Some false - } - - tcConfigB.optSettings <- - { tcConfigB.optSettings with crossAssemblyOptimizationUser = Some false - } - - tcConfigB.optSettings <- - { tcConfigB.optSettings with lambdaInlineThreshold = 0 } + tcConfigB.onlyEssentialOptimizationData <- true tcConfigB.doDetuple <- false tcConfigB.doTLR <- false tcConfigB.doFinalSimplify <- false