From 853b31ec89416bef0014e06f2defaef74f47b81e Mon Sep 17 00:00:00 2001 From: Thomas Lively 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/lit/array-new-seg-note-count.wast | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test/lit/array-new-seg-note-count.wast') diff --git a/test/lit/array-new-seg-note-count.wast b/test/lit/array-new-seg-note-count.wast index 45c08e313..43720e731 100644 --- a/test/lit/array-new-seg-note-count.wast +++ b/test/lit/array-new-seg-note-count.wast @@ -10,7 +10,7 @@ ;; CHECK: (data "") (data "") - ;; CHECK: (func $test (result (ref $vec)) + ;; CHECK: (func $test (type $none_=>_ref|$vec|) (result (ref $vec)) ;; CHECK-NEXT: (array.new_data $vec 0 ;; CHECK-NEXT: (i32.const 0) ;; CHECK-NEXT: (i32.const 0) -- cgit v1.2.3