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, 13 insertions, 13 deletions

diff --git a/test/polymorphic_stack.wast.fromBinary b/test/polymorphic_stack.wast.fromBinary
index 3083b5bf9..23bf8b3a0 100644
--- a/test/polymorphic_stack.wast.fromBinary
+++ b/test/polymorphic_stack.wast.fromBinary
@@ -1,32 +1,32 @@
 (module
- (type $0 (func (result i32)))
- (type $1 (func (param i32) (result i32)))
- (type $2 (func))
- (type $3 (func (param i32)))
+ (type $none_=>_i32 (func (result i32)))
+ (type $none_=>_none (func))
+ (type $i32_=>_i32 (func (param i32) (result i32)))
+ (type $i32_=>_none (func (param i32)))
  (import "env" "table" (table $timport$0 9 9 funcref))
- (func $break-and-binary (; 0 ;) (type $0) (result i32)
+ (func $break-and-binary (; 0 ;) (result i32)
   (block $label$1 (result i32)
    (unreachable)
   )
  )
- (func $call-and-unary (; 1 ;) (type $1) (param $0 i32) (result i32)
+ (func $call-and-unary (; 1 ;) (param $0 i32) (result i32)
   (unreachable)
  )
- (func $tee (; 2 ;) (type $3) (param $0 i32)
+ (func $tee (; 2 ;) (param $0 i32)
   (local $1 f32)
   (unreachable)
  )
- (func $tee2 (; 3 ;) (type $2)
+ (func $tee2 (; 3 ;)
   (local $0 f32)
   (if
    (i32.const 259)
    (unreachable)
   )
  )
- (func $select (; 4 ;) (type $2)
+ (func $select (; 4 ;)
   (unreachable)
  )
- (func $untaken-break-should-have-value (; 5 ;) (type $0) (result i32)
+ (func $untaken-break-should-have-value (; 5 ;) (result i32)
   (block $label$1 (result i32)
    (block $label$2
     (drop
@@ -37,7 +37,7 @@
    (unreachable)
   )
  )
- (func $unreachable-in-block-but-code-before (; 6 ;) (type $1) (param $0 i32) (result i32)
+ (func $unreachable-in-block-but-code-before (; 6 ;) (param $0 i32) (result i32)
   (if
    (local.get $0)
    (return
@@ -53,14 +53,14 @@
    )
   )
  )
- (func $br_table_unreachable_to_also_unreachable (; 7 ;) (type $0) (result i32)
+ (func $br_table_unreachable_to_also_unreachable (; 7 ;) (result i32)
   (block $label$1 (result i32)
    (block $label$2 (result i32)
     (unreachable)
    )
   )
  )
- (func $untaken-br_if (; 8 ;) (type $0) (result i32)
+ (func $untaken-br_if (; 8 ;) (result i32)
   (block $label$1 (result i32)
    (block $label$2
     (if