Remove FunctionType (#2510)

Function signatures were previously redundantly stored on Function
objects as well as on FunctionType objects. These two signature
representations had to always be kept in sync, which was error-prone
and needlessly complex. This PR takes advantage of the new ability of
Type to represent multiple value types by consolidating function
signatures as a pair of Types (params and results) stored on the
Function object.

Since there are no longer module-global named function types,
significant changes had to be made to the printing and emitting of
function types, as well as their parsing and manipulation in various
passes.

The C and JS APIs and their tests also had to be updated to remove
named function types.

1 files changed, 2 insertions, 2 deletions

diff --git a/test/anyref.wast.fromBinary b/test/anyref.wast.fromBinary
index 3d9b223b6..374a308e7 100644
--- a/test/anyref.wast.fromBinary
+++ b/test/anyref.wast.fromBinary
@@ -1,11 +1,11 @@
 (module
- (type $0 (func (param anyref) (result anyref)))
+ (type $anyref_=>_anyref (func (param anyref) (result anyref)))
  (import "env" "test2" (global $gimport$1 anyref))
  (import "env" "test1" (func $test1 (param anyref) (result anyref)))
  (memory $0 1 1)
  (export "test1" (func $test1))
  (export "test2" (global $gimport$1))
- (func $anyref_test (; 1 ;) (type $0) (param $0 anyref) (result anyref)
+ (func $anyref_test (; 1 ;) (param $0 anyref) (result anyref)
   (local $1 anyref)
   (local.set $1
    (call $test1