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 64 matching lines @@
         return boolType;
       } else if (name === 'is') {
         return boolType;
       }
       fail(selector, 'unexpected operator ${name}');
 
     } else if (node.isPropertyAccess) {
       if (node.receiver !== null) fail(node, 'cannot handle fields');
       Element element = elements[node];
       if (element === null) fail(node.selector, 'unresolved property');
-      return element.computeType(compiler);
+      return computeType(element);
 
     } else if (node.isFunctionObjectInvocation) {
       fail(node.receiver, 'function object invocation unimplemented');
 
     } else {
       Link<Type> argumentTypes = analyzeArguments(node.arguments);
       FunctionType funType;
       if (node.receiver !== null) {
         Type receiverType = analyze(node.receiver);
         if (receiverType === types.dynamicType) return types.dynamicType;
         if (receiverType === null) {
           fail(node.receiver, 'receivertype is null');
         }
         ClassElement classElement = receiverType.element;
         // TODO(karlklose): substitute type arguments.
         Type memberType = lookupMethodType(node, classElement, selector.source);
         if (memberType === types.dynamicType) return types.dynamicType;
         if (memberType is !FunctionType) {
           fail(node, 'can only handle function types');
         }
         funType = memberType;
       } else {
         Element element = elements[node];
         if (element.kind === ElementKind.FUNCTION) {
-          funType = element.computeType(compiler);
+          funType = computeType(element);
         } else if (element.kind === ElementKind.FOREIGN) {
           return types.dynamicType;
         } else {
           fail(node, 'unexpected element kind ${element.kind}');
         }
       }
       Link<Type> parameterTypes = funType.parameterTypes;
       Link<Node> argumentNodes = node.arguments;
       while (!argumentTypes.isEmpty() && !parameterTypes.isEmpty()) {
         checkAssignable(argumentNodes.head, parameterTypes.head,
@@ skipping 110 matching lines @@
     return StatementType.RETURNING;
   }
 
   Type visitThrow(Throw node) {
     if (node.expression !== null) analyze(node.expression);
     return StatementType.RETURNING;
   }
 
   Type computeType(Element element) {
     if (element === null) return types.dynamicType;
-    return element.computeType(compiler);
+    Type result = element.computeType(compiler);
+    return (result !== null) ? result : types.dynamicType;
   }
 
   Type visitTypeAnnotation(TypeAnnotation node) {
     if (node.typeName === null) return types.dynamicType;
     Identifier identifier = node.typeName.asIdentifier();
     if (identifier === null) {
       fail(node.typeName, 'library prefix not implemented');
     }
     // TODO(ahe): Why wasn't this resolved by the resolver?
     Type type = lookupType(identifier.source, compiler, types);
@@ skipping 103 matching lines @@
   }
 
   visitCatchBlock(CatchBlock node) {
     compiler.unimplemented('visitCatchBlock', node: node);
   }
 
   visitTypedef(Typedef node) {
     compiler.unimplemented('visitTypedef', node: node);
   }
 }