Implement type checking of map literals (issue 221).

runtime/lib/error.cc

 // 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.
 
 #include "lib/error.h"
 
 #include "vm/bootstrap_natives.h"
 #include "vm/exceptions.h"
 #include "vm/object_store.h"
 #include "vm/runtime_entry.h"
@@ skipping 140 matching lines @@
               src_type_name.ToCString(),
               dst_type_name.ToCString(),
               dst_name.ToCString());
   }
   // Throw TypeError instance.
   Exceptions::Throw(type_error);
   UNREACHABLE();
 }
 
 
+// Allocate and throw a new TypeError.
+// Arg0: index of the token of the failed type check.
+// Arg1: src value.
+// Arg2: dst type name.
+// Arg3: dst name.
+// Return value: none, throws an exception.
+DEFINE_NATIVE_ENTRY(TypeError_throwNew, 4) {
+  intptr_t location = Smi::CheckedHandle(arguments->At(0)).Value();
+  const Instance& src_value = Instance::CheckedHandle(arguments->At(1));
+  const String& dst_type_name = String::CheckedHandle(arguments->At(2));
+  const String& dst_name = String::CheckedHandle(arguments->At(3));
+  const String& src_type_name =
+      String::Handle(Type::Handle(src_value.GetType()).Name());
+  ThrowTypeError(location, src_type_name, dst_type_name, dst_name);
+}
+
+
 // Allocate and throw a new FallThroughError.
 // Arg0: index of the case clause token into which we fall through.
 // Return value: none, throws an exception.
 DEFINE_NATIVE_ENTRY(FallThroughError_throwNew, 1) {
   GET_NATIVE_ARGUMENT(Smi, smi_pos, arguments->At(0));
   intptr_t fallthrough_pos = smi_pos.Value();
 
   // Allocate a new instance of type FallThroughError.
   const Instance& fallthrough_error =
       Instance::Handle(NewInstance("FallThroughError"));
@@ skipping 130 matching lines @@
         dst_type_name = element_type.Name();
       }
       const String& dst_name = String::Handle(String::New(buf));
       ThrowTypeError(location, src_type_name, dst_type_name, dst_name);
       UNREACHABLE();
     }
   }
 }
 
 }  // namespace dart