-
Notifications
You must be signed in to change notification settings - Fork 2
Add anyref feature and type #4
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
base: gc-xref
Are you sure you want to change the base?
Conversation
Reminds me that those error diffs are, well, not so useful :) |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Looks good! Let's go ahead and merge the previous PR and this one shortly thereafter.
@@ -315,7 +315,21 @@ class TranslateToFuzzReader { | |||
} | |||
SmallVector<Type, 2> options; | |||
options.push_back(type); // includes itself | |||
// TODO (GC): subtyping | |||
if (wasm.features.hasReferenceTypes()) { |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Let's push this if
down inside of the anyref
case of the switch so the switch can be at the top level.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Addressed in the rebased PR :)
(module | ||
(global $g (mut anyref) (ref.null any)) | ||
) |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I don't think this file needs to be checked in.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Removed this file in the rebased PR
Adds a custom
--enable-anyref
feature that allows us to test subtyping relationship ofexternref
,funcref
andexnref
without having to enable the full set of GC features.