Add a "Label" Node around an Identifier that is being used as a label.

lib/compiler/implementation/typechecker.dart

Index: lib/compiler/implementation/typechecker.dart
diff --git a/lib/compiler/implementation/typechecker.dart b/lib/compiler/implementation/typechecker.dart
index 8c69f55ddf23a1076295f490ad9c5933d78a8b98..11c88501b6701f0b2356c706d153f3f74da3c748 100644
--- a/lib/compiler/implementation/typechecker.dart
+++ b/lib/compiler/implementation/typechecker.dart
@@ -703,6 +703,10 @@ class TypeCheckerVisitor implements Visitor<Type> {
     return bodyType.join(StatementType.NOT_RETURNING);
   }
 
+  visitLabel(Label node) {
+    fail(node);

[ahe, 2012/05/10 11:52:30]

No need to fail here. Just do nothing.

[Lasse Reichstein Nielsen, 2012/05/10 12:14:20]

Done.
Why do we need to fail in the cases below?

[ahe, 2012/05/10 12:40:25]

Ask Karl. The cases below are not implemented so the type checker gives up (that
is what "fail" means in this context).

+  }
+  
   visitLabeledStatement(LabeledStatement node) {
     return node.statement.accept(this);
   }