Support break and labeled statements.

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 569 matching lines @@
 
   visitStringInterpolationPart(StringInterpolationPart node) {
     node.visitChildren(this);
   }
 
   visitEmptyStatement(EmptyStatement node) {
     return StatementType.NOT_RETURNING;
   }
 
   visitBreakStatement(BreakStatement node) {
-    compiler.unimplemented('visitBreakStatement', node: node);
+    return StatementType.NOT_RETURNING;

[Lasse Reichstein Nielsen, 2012/02/20 13:56:16]

Is this correct? I see visitThrow returns RETURNING, but would that change if we
had catch?

   }
 
   visitContinueStatement(ContinueStatement node) {
     compiler.unimplemented('visitContinueStatement', node: node);
   }
 
   visitForInStatement(ForInStatement node) {
-    node.visitChildren(this);
+    analyze(node.expression);
+    StatementType bodyType = analyze(node.body);
+    return bodyType.join(StatementType.NOT_RETURNING);
   }
 
   visitLabelledStatement(LabelledStatement node) {
-    compiler.unimplemented('visitLabelledStatement', node: node);
+    return visit(node.statement);
   }
 
   visitLiteralMap(LiteralMap node) {
     compiler.unimplemented('visitLiteralMap', node: node);
   }
 
   visitLiteralMapEntry(LiteralMapEntry node) {
     compiler.unimplemented('visitLiteralMapEntry', node: node);
   }
 
@@ skipping 14 matching lines @@
   }
 
   visitCatchBlock(CatchBlock node) {
     compiler.unimplemented('visitCatchBlock', node: node);
   }
 
   visitTypedef(Typedef node) {
     compiler.unimplemented('visitTypedef', node: node);
   }
 }