Implement super initializers.

frog/leg/typechecker.dart

 // Copyright (c) 2012, 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.
 
 class TypeCheckerTask extends CompilerTask {
   TypeCheckerTask(Compiler compiler) : super(compiler);
   String get name() => "Type checker";
 
   void check(Node tree, TreeElements elements) {
     measure(() {
@@ skipping 220 matching lines @@
   /** Dart Programming Language Specification: 11.5.1 For Loop */
   Type visitFor(For node) {
     analyzeWithDefault(node.initializer, StatementType.NOT_RETURNING);
     checkCondition(node.condition);
     analyzeWithDefault(node.update, StatementType.NOT_RETURNING);
     StatementType bodyType = analyze(node.body);
     return bodyType.join(StatementType.NOT_RETURNING);
   }
 
   Type visitFunctionExpression(FunctionExpression node) {
+    Type type;
+    Type returnType;
+    Type previousType;
     final FunctionElement element = elements[node];
-    FunctionType functionType = computeType(element);
-    Type returnType = functionType.returnType;
+    if (element.kind === ElementKind.GENERATIVE_CONSTRUCTOR ||
+        element.kind === ElementKind.GENERATIVE_CONSTRUCTOR_BODY) {
+      type = types.dynamicType;
+      returnType = types.voidType;
+    } else {
+      FunctionType functionType = computeType(element);
+      returnType = functionType.returnType;
+      type = functionType;
+    }
     Type previous = expectedReturnType;
     expectedReturnType = returnType;
     if (element.isMember()) currentClass = element.enclosingElement;
     StatementType bodyType = analyze(node.body);
     if (returnType != types.voidType && returnType != types.dynamicType
         && bodyType != StatementType.RETURNING) {
       MessageKind kind;
       if (bodyType == StatementType.MAYBE_RETURNING) {
         kind = MessageKind.MAYBE_MISSING_RETURN;
       } else {
         kind = MessageKind.MISSING_RETURN;
       }
       reportTypeWarning(node.name, kind);
     }
     expectedReturnType = previous;
-    return functionType;
+    return type;
   }
 
   Type visitIdentifier(Identifier node) {
     if (node.isThis()) {
       return currentClass.computeType(compiler);
     } else {
       fail(node, 'internal error: unexpected identifier');
     }
   }
 
@@ skipping 344 matching lines @@
   }
 
   visitCatchBlock(CatchBlock node) {
     compiler.unimplemented('visitCatchBlock', node: node);
   }
 
   visitTypedef(Typedef node) {
     compiler.unimplemented('visitTypedef', node: node);
   }
 }