Support for modular mixin resolution.

pkg/kernel/bin/dartk.dart

 #!/usr/bin/env 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.
 
 import 'dart:async';
 import 'dart:io';
 
 import 'batch_util.dart';
 
@@ skipping 308 matching lines @@
         declaredVariables: declaredVariables,
         applicationRoot: applicationRoot);
     String packageDiscoveryPath = batchModeState.isBatchMode ? null : file;
     DartLoader loader = await batchModeState.batch.getLoader(
         repository, dartOptions,
         packageDiscoveryPath: packageDiscoveryPath);
     if (options['link']) {
       program = loader.loadProgram(fileUri, target: target);
     } else {
       var library = loader.loadLibrary(fileUri);
+      loader.loadSdkInterface(program, target);
       assert(library ==
           repository.getLibraryReference(applicationRoot.relativeUri(fileUri)));
       program = new Program(repository.libraries);
     }
     errors = loader.errors;
     if (errors.isNotEmpty) {
       const int errorLimit = 100;
       stderr.writeln(errors.take(errorLimit).join('\n'));
       if (errors.length > errorLimit) {
         stderr
@@ skipping 67 matching lines @@
     int flushTime = watch.elapsedMilliseconds - time;
     print('writer.flush_time = $flushTime ms');
   }
 
   if (options['tolerant']) {
     return CompilerOutcome.Ok;
   }
 
   return errors.length > 0 ? CompilerOutcome.Fail : CompilerOutcome.Ok;
 }