diff options
author | Thomas Lively <7121787+tlively@users.noreply.github.com> | 2022-08-22 16:21:19 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-08-22 16:21:19 -0700 |
commit | 92cdc7245b715d88cf986a7eaf78c49ea64ba825 (patch) | |
tree | 7e20e91c0a60a5b08f8bb01d64ea7ebc3a6b6885 /test/exception-handling.wast | |
parent | 195c4e1804d5a4530c8216d4c9a138b56f676d10 (diff) | |
download | binaryen-92cdc7245b715d88cf986a7eaf78c49ea64ba825.tar.gz binaryen-92cdc7245b715d88cf986a7eaf78c49ea64ba825.tar.bz2 binaryen-92cdc7245b715d88cf986a7eaf78c49ea64ba825.zip |
Separate `func` into a separate type hierarchy (#4955)
Just like `extern` is no longer a subtype of `any` in the new GC type system,
`func` is no longer a subtype of `any`, either. Make that change in our type
system implementation and update tests and fuzzers accordingly.
Diffstat (limited to 'test/exception-handling.wast')
-rw-r--r-- | test/exception-handling.wast | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/exception-handling.wast b/test/exception-handling.wast index 93dbe41ba..d37cc322b 100644 --- a/test/exception-handling.wast +++ b/test/exception-handling.wast @@ -2,7 +2,7 @@ (tag $e-i32 (param i32)) (tag $e-i64 (param i64)) (tag $e-i32-i64 (param i32 i64)) - (tag $e-funcref (param funcref)) + (tag $e-eqref (param (ref null eq))) (tag $e-empty) (func $foo) @@ -330,7 +330,7 @@ (try (do) - (catch $e-funcref + (catch $e-eqref (drop (pop anyref) ;; pop can be supertype ) |