Update function type checking in VM after spec change (issue 444):

runtime/vm/object.h

 // 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.
 
 #ifndef VM_OBJECT_H_
 #define VM_OBJECT_H_
 
 #include "vm/assert.h"
 #include "vm/dart.h"
 #include "vm/globals.h"
@@ skipping 1318 matching lines @@
                             const TypeArguments& instantiator,
                             intptr_t offset) const;
 
   // Checks the subtype or assignability relationship between the type of this
   // function and the type of the other function.
   bool TestType(TypeTestKind test,
                 const TypeArguments& type_arguments,
                 const Function& other,
                 const TypeArguments& other_type_arguments) const;
 
+  // Checks the types (and names, if 'check_names' is true) of the formal
+  // parameters in the specified range of this function type and of the other
+  // function type.

[srdjan, 2011/11/29 01:01:59]

Add comment about from/to_parameter

[regis, 2011/11/29 01:48:21]

Function changed.

+  bool CheckParameters(const TypeArguments& type_arguments,
+                       const Function& other,
+                       const TypeArguments& other_type_arguments,
+                       intptr_t from_parameter,
+                       intptr_t to_parameter,
+                       bool check_names) const;
+
   HEAP_OBJECT_IMPLEMENTATION(Function, Object);
   friend class Class;
 };
 
 
 class Field : public Object {
  public:
   RawString* name() const { return raw_ptr()->name_; }
   bool is_static() const { return raw_ptr()->is_static_; }
   bool is_final() const { return raw_ptr()->is_final_; }
@@ skipping 1880 matching lines @@
 }
 
 
 void Context::SetAt(intptr_t index, const Instance& value) const {
   StorePointer(InstanceAddr(index), value.raw());
 }
 
 }  // namespace dart
 
 #endif  // VM_OBJECT_H_