From f8b731049be94b1723cd37c1d297b73b55f58af4 Mon Sep 17 00:00:00 2001
From: Luke Wagner <luke@mozilla.com>
Date: Wed, 3 Aug 2016 08:49:46 -0500
Subject: [PATCH] Add signature-match check to JS.md to match Modules.md

---
 JS.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/JS.md b/JS.md
index 5d01edb0..609856e3 100644
--- a/JS.md
+++ b/JS.md
@@ -155,6 +155,8 @@ function, global, memory and table imports):
 * Let `v` be the value of performing [`Get`](http://tc39.github.io/ecma262/#sec-get-o-p)(`v`, `i.export_name`)
 * If `i` is a function import:
   * If `IsCallable(v)` is `false`, throw a `TypeError`.
+  * If `v` is a WebAssembly [Exported Function Exotic Object](#exported-function-exotic-objects)
+    and `v`'s signature does not match `i`'s signature, throw a `TypeError`.
   * Otherwise, append an anonymous function to `imports` 
     which calls `v` by coercing WebAssembly arguments to JavaScript arguments
     via [`ToJSValue`](#tojsvalue) and returns the result by coercing