Add FunctionDeclaration node.

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";
 
   static final bool LOG_FAILURES = false;
 
@@ skipping 254 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 visitFunctionDeclaration(FunctionDeclaration node) {
+    analyze(node.function);
+    return StatementType.NOT_RETURNING;
+  }
+
   Type visitFunctionExpression(FunctionExpression node) {
     Type type;
     Type returnType;
     Type previousType;
     final FunctionElement element = elements[node];
     if (element.kind === ElementKind.GENERATIVE_CONSTRUCTOR ||
         element.kind === ElementKind.GENERATIVE_CONSTRUCTOR_BODY) {
       type = types.dynamicType;
       returnType = types.voidType;
     } else {
@@ skipping 381 matching lines @@
   }
 
   visitCatchBlock(CatchBlock node) {
     compiler.unimplemented('visitCatchBlock', node: node);
   }
 
   visitTypedef(Typedef node) {
     compiler.unimplemented('visitTypedef', node: node);
   }
 }