Split the Kernel transformations into modular and global ones

pkg/kernel/lib/transformations/mixin_full_resolution.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 kernel.transformations.mixin_full_resolution;
 
 import '../ast.dart';
 import '../class_hierarchy.dart';
 import '../clone.dart';
 import '../core_types.dart';
 import '../type_algebra.dart';
@@ skipping 13 matching lines @@
   ClassHierarchy hierarchy;
   CoreTypes coreTypes;
 
   void transform(Program program) {
     var transformedClasses = new Set<Class>();
 
     // Desugar all mixin application classes by copying in fields/methods from
     // the mixin and constructors from the base class.
     var processedClasses = new Set<Class>();
     for (var library in program.libraries) {
+      if (library.isExternal) continue;
+
       for (var class_ in library.classes) {
         transformClass(processedClasses, transformedClasses, class_);
       }
     }
 
     hierarchy = new ClassHierarchy(program);
     coreTypes = new CoreTypes(program);
 
     // Resolve all super call expressions and super initializers.
     for (var library in program.libraries) {
+      if (library.isExternal) continue;
+
       for (var class_ in library.classes) {
         final bool hasTransformedSuperclass =
             transformedClasses.contains(class_.superclass);
 
         for (var procedure in class_.procedures) {
           if (procedure.containsSuperCalls) {
             new SuperCallResolutionTransformer(
                     hierarchy, coreTypes, class_.superclass)
                 .visit(procedure);
           }
@@ skipping 21 matching lines @@
 
     // Ensure super classes have been transformed before this class.
     if (class_.superclass != null) {
       transformClass(processedClasses, transformedClasses, class_.superclass);
     }
 
     // If this is not a mixin application we don't need to make forwarding
     // constructors in this class.
     if (!class_.isMixinApplication) return;
 
+    if (class_.mixedInClass.level != ClassLevel.Body) {
+      throw new Exception(
+          'Class "${class_.name}" mixes in "${class_.mixedInClass.name}" from'
+          ' an external library.  Did you forget --link?');
+    }
+
     transformedClasses.add(class_);
 
     // Clone fields and methods from the mixin class.
     var substitution = getSubstitutionMap(class_.mixedInType);
     var cloner = new CloneVisitor(typeSubstitution: substitution);
     for (var field in class_.mixin.fields) {
       class_.addMember(cloner.clone(field));
     }
     for (var procedure in class_.mixin.procedures) {
       class_.addMember(cloner.clone(procedure));
@@ skipping 265 matching lines @@
           return null;
         }
       }
 
       throw new Exception(
           'Could not find a generative constructor named "${constructor.name}" '
           'in lookup class "${lookupClass.name}"!');
     }
   }
 }