From 2d86d1f8fb217456d8bcc4b401ce7d143aa36ee9 Mon Sep 17 00:00:00 2001 From: Thomas Lively <7121787+tlively@users.noreply.github.com> Date: Wed, 17 Aug 2022 22:51:27 -0700 Subject: Restore the `extern` heap type (#4898) The GC proposal has split `any` and `extern` back into two separate types, so reintroduce `HeapType::ext` to represent `extern`. Before it was originally removed in #4633, externref was a subtype of anyref, but now it is not. Now that we have separate heaptype type hierarchies, make `HeapType::getLeastUpperBound` fallible as well. --- test/binaryen.js/kitchen-sink.js.txt | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'test/binaryen.js') diff --git a/test/binaryen.js/kitchen-sink.js.txt b/test/binaryen.js/kitchen-sink.js.txt index 1be13aefe..3e5f9afb0 100644 --- a/test/binaryen.js/kitchen-sink.js.txt +++ b/test/binaryen.js/kitchen-sink.js.txt @@ -2057,7 +2057,7 @@ getExpressionInfo(tuple[3])={"id":14,"type":5,"value":3.7} ) (drop (ref.is_null - (ref.null any) + (ref.null extern) ) ) (drop @@ -2152,7 +2152,7 @@ getExpressionInfo(tuple[3])={"id":14,"type":5,"value":3.7} (pop funcref) ) (drop - (pop anyref) + (pop externref) ) (drop (pop anyref) @@ -4161,7 +4161,7 @@ getExpressionInfo(tuple[3])={"id":14,"type":5,"value":3.7} ) (drop (ref.is_null - (ref.null any) + (ref.null extern) ) ) (drop @@ -4256,7 +4256,7 @@ getExpressionInfo(tuple[3])={"id":14,"type":5,"value":3.7} (pop funcref) ) (drop - (pop anyref) + (pop externref) ) (drop (pop anyref) -- cgit v1.2.3