Use the typedef arity to know how to invoke a closure given by the dom.

dart/lib/compiler/implementation/resolver.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.
 
 interface TreeElements {
   Element operator[](Node node);
   Selector getSelector(Send send);
   Type getType(TypeAnnotation annotation);
 }
 
@@ skipping 216 matching lines @@
     measure(() {
       ClassNode tree = element.parseNode(compiler);
       ClassResolverVisitor visitor =
         new ClassResolverVisitor(compiler, element.getLibrary(), element);
       visitor.visit(tree);
       element.isResolved = true;
     });
   }
 
   FunctionSignature resolveSignature(FunctionElement element) {
-    return measure(() => SignatureResolver.analyze(compiler, element));
+    return compiler.withCurrentElement(element, () {
+      FunctionExpression node =
+          compiler.parser.measure(() => element.parseNode(compiler));
+      return measure(() => SignatureResolver.analyze(
+          compiler, node.parameters, node.returnType, element));
+    });
+  }
+
+  FunctionSignature resolveTypedef(TypedefElement element) {
+    return compiler.withCurrentElement(element, () {
+      Typedef node =
+          compiler.parser.measure(() => element.parseNode(compiler));
+      return measure(() => SignatureResolver.analyze(
+          compiler, node.formals, node.returnType, element));
+    });
+  }
+
+  FunctionType computeFunctionType(Element element,
+                                   FunctionSignature signature) {
+    LinkBuilder<Type> parameterTypes = new LinkBuilder<Type>();
+    for (Link<Element> link = signature.requiredParameters;
+         !link.isEmpty();
+         link = link.tail) {
+       parameterTypes.addLast(link.head.computeType(compiler));
+       // TODO(karlklose): optional parameters.
+    }
+    return new FunctionType(signature.returnType,
+                            parameterTypes.toLink(),
+                            element);
   }
 
   error(Node node, MessageKind kind, [arguments = const []]) {
     ResolutionError message = new ResolutionError(kind, arguments);
     compiler.reportError(node, message);
   }
 }
 
 class InitializerResolver {
   final ResolverVisitor visitor;
@@ skipping 875 matching lines @@
             report(node.typeArguments, MessageKind.MISSING_TYPE_ARGUMENT);
           }
         }
         if (cls.typeParameters.length == 0) {
           // Return the canonical type if it has no type parameters.
           type = cls.computeType(compiler);
         } else {
           type = new InterfaceType(cls, arguments.toLink());
         }
       } else if (element.isTypedef()) {
-        // TODO(ngeoffray): This is a hack to help us get support for the
-        // DOM library.
-        // TODO(ngeoffray): The list of types for the argument is wrong.
-        type = new FunctionType(compiler.types.dynamicType,
-                                const EmptyLink<Type>(),
-                                element);
+        type = element.computeType(compiler);
       } else if (element.isTypeVariable()) {
         type = element.computeType(compiler);
       } else {
         compiler.cancel("unexpected element kind ${element.kind}",
                         node: node);
       }
     }
     return useType(node, type);
   }
 
@@ skipping 604 matching lines @@
         // and a list of optional named parameters.
         if (!link.tail.isEmpty() || (link.head is !NodeList)) {
           internalError(link.head, "expected optional parameters");
         }
       }
     }
     return elements;
   }
 
   static FunctionSignature analyze(Compiler compiler,
-                                   FunctionElement element) {
-    FunctionExpression node =
-          compiler.parser.measure(() => element.parseNode(compiler));
+                                   NodeList formalParameters,
+                                   Node returnNode,
+                                   Element element) {
     SignatureResolver visitor = new SignatureResolver(compiler, element);
-    Link<Node> nodes = node.parameters.nodes;
-    LinkBuilder<Element> parametersBuilder = visitor.analyzeNodes(nodes);
+    LinkBuilder<Element> parametersBuilder =
+        visitor.analyzeNodes(formalParameters.nodes);
     Link<Element> parameters = parametersBuilder.toLink();
     Type returnType =
-        compiler.resolveTypeAnnotation(element, node.returnType);
+        compiler.resolveTypeAnnotation(element, returnNode);
     return new FunctionSignature(parameters,
                                  visitor.optionalParameters,
                                  parametersBuilder.length,
                                  visitor.optionalParameterCount,
                                  returnType);
   }
 
   // TODO(ahe): This is temporary.
   void resolveExpression(Node node) {
     if (node == null) return;
@@ skipping 159 matching lines @@
 
   TopScope(LibraryElement library) : super(null, library);
   Element lookup(SourceString name) {
     return library.find(name);
   }
 
   Element add(Element newElement) {
     throw "Cannot add an element in the top scope";
   }
 }