closure calls (just the invocation part).

frog/leg/typechecker.dart

 // Copyright (c) 2011, 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) : types = new Types(), super(compiler);
   String get name() => "Type checker";
   Types types;
 
   void check(Node tree, TreeElements elements) {
@@ skipping 289 matching lines @@
   Link<Type> analyzeArguments(Link<Node> arguments) {
     LinkBuilder<Type> builder = new LinkBuilder<Type>();
     while(!arguments.isEmpty()) {
       builder.addLast(analyze(arguments.head));
       arguments = arguments.tail;
     }
     return builder.toLink();
   }
 
   Type visitSend(Send node) {
-    Identifier selector = node.selector;
+    if (Elements.isClosureSend(node, elements)) {
+      print(new Unparser(true).unparse(node));
+      print(node.receiver);
+      print(node.selector);

[ngeoffray, 2012/01/05 14:05:46]

Remove debugging code.

[floitsch, 2012/01/24 13:28:37]

Done.

+      // TODO(karlklose): Finish implementation.
+      return types.dynamicType;      
+    }
+
+    Identifier selector = node.selector.asIdentifier();
     String name = selector.source.stringValue;
 
     if (node.isOperator) {
       final Node firstArgument = node.receiver;
       final Type firstArgumentType = analyze(node.receiver);
       final arguments = node.arguments;
       final Node secondArgument = arguments.isEmpty() ? null : arguments.head;
       final Type secondArgumentType = analyzeWithDefault(secondArgument, null);
 
       if (name === '+' || name === '=' || name === '-'
@@ skipping 293 matching lines @@
   }
 
   visitCatchBlock(CatchBlock node) {
     compiler.unimplemented('visitCatchBlock', node: node);
   }
 
   visitTypedef(Typedef node) {
     compiler.unimplemented('visitTypedef', node: node);
   }
 }