Don't allow Number as an imported mutable global

See issue #9.
WebAssembly · Apr 9, 2018 · 76d8b92 · 76d8b92
1 parent e08d3cc
commit 76d8b92
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/document/js-api/index.bs b/document/js-api/index.bs
@@ -334,8 +334,9 @@ A {{Module}} object represents a single WebAssembly module. Each {{Module}} obje
             1. Let |externfunc| be the [=external value=] [=external value|𝖿𝗎𝗇𝖼=] |funcaddr|.
             1. [=Append=] |externfunc| to |imports|.
         1. If |externtype| is of the form [=𝗀𝗅𝗈𝖻𝖺𝗅=] |globaltype|,
-            1. If |globaltype| [=Type=](|v|) is [=Number=],
+            1. If [=Type=](|v|) is [=Number=],
                 1. If |globaltype| is [=𝗂𝟨𝟦=], throw a {{LinkError}} exception.
+                1. If |globaltype|.<em>[=global type|mut=]</em> is [=var=], throw a {{LinkError}} exception.
                 1. Let |value| be [=ToWebAssemblyValue=](|v|, |globaltype|.<em>[=global type|valtype=]</em>)
                 1. Let |store| be the current agent's [=associated store=].
                 1. Let (|store|, |globaladdr|) be [=alloc_global=](|store|, |globaltype|, |value|).