| Index: editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/utilities/compiler/DartCompilerUtilities.java
|
| diff --git a/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/utilities/compiler/DartCompilerUtilities.java b/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/utilities/compiler/DartCompilerUtilities.java
|
| index 4053243542fa59dd5adbddf5c974599adfbd88b1..ff8859d21d8fb12c053793b458aeff0ae58e8b9b 100644
|
| --- a/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/utilities/compiler/DartCompilerUtilities.java
|
| +++ b/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/utilities/compiler/DartCompilerUtilities.java
|
| @@ -259,7 +259,7 @@ public class DartCompilerUtilities {
|
| }
|
| };
|
| final CompilerConfiguration config = new DefaultCompilerConfiguration(
|
| - new CompilerOptions(),
|
| + DartCompilerUtilities.COMPILER_OPTIONS,
|
| libraryManager) {
|
|
|
| @Override
|
| @@ -439,9 +439,8 @@ public class DartCompilerUtilities {
|
| public void run() throws Exception {
|
| final SystemLibraryManager libraryManager = SystemLibraryManagerProvider.getSystemLibraryManager();
|
| final CompilerConfiguration config = new DefaultCompilerConfiguration(
|
| - new CompilerOptions(),
|
| + DartCompilerUtilities.COMPILER_OPTIONS,
|
| libraryManager) {
|
| -
|
| @Override
|
| public boolean incremental() {
|
| return true;
|
| @@ -479,6 +478,15 @@ public class DartCompilerUtilities {
|
| }
|
| }
|
|
|
| + public static final CompilerOptions COMPILER_OPTIONS = new CompilerOptions() {
|
| + @Override
|
| + public boolean memberWarningForInferredTypes() {
|
| + return DartCore.getPlugin().getPrefs().getBoolean(
|
| + DartCore.MEMBER_WARNING_FOR_INFERRED_TYPES,
|
| + false);
|
| + }
|
| + };
|
| +
|
| /**
|
| * Synchronize against this field when calling the compiler and passing an artifact provider
|
| */
|
|
|