[modules] Implement namespace imports.

src/objects-debug.cc

Index: src/objects-debug.cc
diff --git a/src/objects-debug.cc b/src/objects-debug.cc
index 3c43f230745e539046e24005c12bfa6ee05c725b..28ab96dc883c47847d05053cd1cc493c7f9f643b 100644
--- a/src/objects-debug.cc
+++ b/src/objects-debug.cc
@@ -140,6 +140,9 @@ void HeapObject::HeapObjectVerify() {
     case JS_ARRAY_TYPE:
       JSArray::cast(this)->JSArrayVerify();
       break;
+    case JS_MODULE_NAMESPACE_TYPE:
+      JSModuleNamespace::cast(this)->JSModuleNamespaceVerify();
+      break;
     case JS_SET_TYPE:
       JSSet::cast(this)->JSSetVerify();
       break;
@@ -919,7 +922,13 @@ void PromiseContainer::PromiseContainerVerify() {
   after_debug_event()->ObjectVerify();
 }
 
+void JSModuleNamespace::JSModuleNamespaceVerify() {
+  CHECK(IsJSModuleNamespace());
+  module()->ObjectVerify();
+}
+
 void Module::ModuleVerify() {
+  Isolate* isolate = GetIsolate();
   CHECK(IsModule());
   CHECK(code()->IsSharedFunctionInfo() || code()->IsJSFunction());
   code()->ObjectVerify();
@@ -928,6 +937,8 @@ void Module::ModuleVerify() {
   VerifySmiField(kFlagsOffset);
   embedder_data()->ObjectVerify();
   CHECK(shared()->name()->IsSymbol());
+  CHECK(module_namespace()->IsUndefined(isolate) ||

[adamk, 2016/10/04 18:26:53]

Can you add code to Factory to set this to undefined explicitly, just for
clarity?

[neis, 2016/10/05 08:18:41]

Done.

+        module_namespace()->IsJSModuleNamespace());
   // TODO(neis): Check more.
 }