Add top level type inference logic for integer literals.

pkg/front_end/lib/src/fasta/source/source_loader.dart

 // Copyright (c) 2016, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 library fasta.source_loader;
 
 import 'dart:async' show Future;
 
 import 'dart:typed_data' show Uint8List;
 
 import 'package:front_end/src/base/instrumentation.dart' show Instrumentation;
 
+import 'package:front_end/src/fasta/builder/ast_factory.dart' show AstFactory;
+
+import 'package:front_end/src/fasta/kernel/kernel_ast_factory.dart'
+    show KernelAstFactory;
+
 import 'package:front_end/src/fasta/kernel/kernel_shadow_ast.dart'
     show KernelTypeInferrer;
 
 import 'package:front_end/src/fasta/kernel/kernel_target.dart'
     show KernelTarget;
 
+import 'package:front_end/src/fasta/type_inference/type_inferrer.dart'
+    show TypeInferrer;
+
 import 'package:kernel/ast.dart' show Program;
 
 import 'package:kernel/class_hierarchy.dart' show ClassHierarchy;
 
 import 'package:kernel/core_types.dart' show CoreTypes;
 
 import '../builder/builder.dart' show Builder, ClassBuilder, LibraryBuilder;
 
 import '../compiler_context.dart' show CompilerContext;
 
@@ skipping 20 matching lines @@
 import 'source_library_builder.dart' show SourceLibraryBuilder;
 
 class SourceLoader<L> extends Loader<L> {
   final Map<Uri, List<int>> sourceBytes = <Uri, List<int>>{};
   final bool excludeSource = CompilerContext.current.options.excludeSource;
 
   // Used when building directly to kernel.
   ClassHierarchy hierarchy;
   CoreTypes coreTypes;
 
+  final AstFactory astFactory = new KernelAstFactory();
+
+  TypeInferrer topLevelTypeInferrer;
+
   Instrumentation instrumentation;
 
   SourceLoader(KernelTarget target) : super(target);
 
   Future<Token> tokenize(SourceLibraryBuilder library,
       {bool suppressLexicalErrors: false}) async {
     Uri uri = library.fileUri;
     if (uri == null || uri.scheme != "file") {
       return inputError(library.uri, -1, "Not found: ${library.uri}.");
     }
@@ skipping 53 matching lines @@
           listener.uri = part.fileUri;
           parser.parseUnit(tokens);
         }
       }
     }
   }
 
   KernelTarget get target => super.target;
 
   DietListener createDietListener(LibraryBuilder library) {
-    var typeInferrer = new KernelTypeInferrer(
-        coreTypes, hierarchy, instrumentation, target.strongMode);
-    return new DietListener(library, hierarchy, coreTypes, typeInferrer);
+    return new DietListener(
+        library, hierarchy, coreTypes, createLocalTypeInferrer());
   }
 
   void resolveParts() {
     List<Uri> parts = <Uri>[];
     builders.forEach((Uri uri, LibraryBuilder library) {
       if (library is SourceLibraryBuilder) {
         if (library.isPart) {
           library.validatePart();
           parts.add(uri);
         } else {
@@ skipping 216 matching lines @@
   }
 
   void checkOverrides(List<SourceClassBuilder> sourceClasses) {
     assert(hierarchy != null);
     for (SourceClassBuilder builder in sourceClasses) {
       builder.checkOverrides(hierarchy);
     }
     ticker.logMs("Checked overrides");
   }
 
+  void createTopLevelTypeInferrer() {
+    topLevelTypeInferrer =
+        new KernelTypeInferrer(instrumentation, target.strongMode);
+  }
+
+  /// Performs the first phase of top level initializer inference, which
+  /// consists of creating kernel objects for all fields and top level variables
+  /// that might be subject to type inference, and records dependencies between
+  /// them.
+  void prepareInitializerInference() {
+    topLevelTypeInferrer.coreTypes = coreTypes;
+    topLevelTypeInferrer.classHierarchy = hierarchy;
+    builders.forEach((Uri uri, LibraryBuilder library) {
+      if (library is SourceLibraryBuilder) {
+        library.prepareInitializerInference(
+            topLevelTypeInferrer, library, null);
+      }
+    });
+    ticker.logMs("Prepared initializer inference");
+  }
+
+  /// Performs the second phase of top level initializer inference, which is to
+  /// visit fields and top level variables in topologically-sorted order and
+  /// assign their types.
+  void performInitializerInference() {
+    topLevelTypeInferrer.performInitializerInference();
+    ticker.logMs("Performed initializer inference");
+  }
+
+  /// Creates the type inferrer that should be used inside of method bodies.
+  TypeInferrer createLocalTypeInferrer() {
+    // For kernel, the top level and local type inferrers are the same.
+    return topLevelTypeInferrer;
+  }
+
   List<Uri> getDependencies() => sourceBytes.keys.toList();
 }