From 853b31ec89416bef0014e06f2defaef74f47b81e Mon Sep 17 00:00:00 2001
From: Thomas Lively <tlively@google.com>
Date: Tue, 22 Nov 2022 20:48:58 -0600
Subject: Change the default type system to isorecursive (#5239)

This makes Binaryen's default type system match the WasmGC spec.

Update the way type definitions without supertypes are printed to reduce the
output diff for MVP tests that do not involve WasmGC. Also port some
type-builder.cpp tests from test/example to test/gtest since they needed to be
rewritten to work with isorecursive type anyway.

A follow-on PR will remove equirecursive types completely.
---
 test/passes/duplicate-function-elimination_all-features.txt | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'test/passes/duplicate-function-elimination_all-features.txt')

diff --git a/test/passes/duplicate-function-elimination_all-features.txt b/test/passes/duplicate-function-elimination_all-features.txt
index 2ad1bdc16..1127d8d79 100644
--- a/test/passes/duplicate-function-elimination_all-features.txt
+++ b/test/passes/duplicate-function-elimination_all-features.txt
@@ -2,10 +2,10 @@
  (type $none_=>_i32 (func (result i32)))
  (type $none_=>_funcref (func (result funcref)))
  (elem declare func $0)
- (func $0 (result i32)
+ (func $0 (type $none_=>_i32) (result i32)
   (i32.const 0)
  )
- (func $test (result funcref)
+ (func $test (type $none_=>_funcref) (result funcref)
   (ref.func $0)
  )
 )
@@ -15,7 +15,7 @@
  (memory $foo 16 16)
  (export "memory" (memory $foo))
  (export "global" (global $bar))
- (func $bar
+ (func $bar (type $none_=>_none)
   (nop)
  )
 )
@@ -23,10 +23,10 @@
  (type $func (func (result i32)))
  (global $global$0 (ref $func) (ref.func $foo))
  (export "export" (func $2))
- (func $foo (result i32)
+ (func $foo (type $func) (result i32)
   (unreachable)
  )
- (func $2 (result i32)
+ (func $2 (type $func) (result i32)
   (call_ref $func
    (global.get $global$0)
   )
-- 
cgit v1.2.3