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

diff --git a/test/unreachable-code.wast.fromBinary b/test/unreachable-code.wast.fromBinary
index ea73045a1..79349a88d 100644
--- a/test/unreachable-code.wast.fromBinary
+++ b/test/unreachable-code.wast.fromBinary
@@ -1,32 +1,32 @@
 (module
- (type $0 (func))
- (func $a (; 0 ;) (type $0)
+ (type $none_=>_none (func))
+ (func $a (; 0 ;)
   (if
    (i32.const 1)
    (unreachable)
   )
  )
- (func $b (; 1 ;) (type $0)
+ (func $b (; 1 ;)
   (if
    (i32.const 1)
    (unreachable)
    (unreachable)
   )
  )
- (func $a-block (; 2 ;) (type $0)
+ (func $a-block (; 2 ;)
   (if
    (i32.const 1)
    (unreachable)
   )
  )
- (func $b-block (; 3 ;) (type $0)
+ (func $b-block (; 3 ;)
   (if
    (i32.const 1)
    (unreachable)
    (unreachable)
   )
  )
- (func $a-prepost (; 4 ;) (type $0)
+ (func $a-prepost (; 4 ;)
   (nop)
   (if
    (i32.const 1)
@@ -34,7 +34,7 @@
   )
   (nop)
  )
- (func $b-prepost (; 5 ;) (type $0)
+ (func $b-prepost (; 5 ;)
   (nop)
   (if
    (i32.const 1)
@@ -42,7 +42,7 @@
    (unreachable)
   )
  )
- (func $a-block-prepost (; 6 ;) (type $0)
+ (func $a-block-prepost (; 6 ;)
   (nop)
   (block $label$1
    (if
@@ -52,7 +52,7 @@
   )
   (nop)
  )
- (func $b-block-prepost (; 7 ;) (type $0)
+ (func $b-block-prepost (; 7 ;)
   (nop)
   (block $label$1
    (if
@@ -62,7 +62,7 @@
    )
   )
  )
- (func $recurse (; 8 ;) (type $0)
+ (func $recurse (; 8 ;)
   (nop)
   (block $label$1
    (nop)
@@ -70,7 +70,7 @@
   )
   (nop)
  )
- (func $recurse-b (; 9 ;) (type $0)
+ (func $recurse-b (; 9 ;)
   (block $label$1
    (nop)
    (block $label$2