-
Notifications
You must be signed in to change notification settings - Fork 744
Several fixes for reference types #1278
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
Conversation
- Allow `ref.func` for global initialization expressions - Allow `nullref` as a full-fledged type, after WebAssembly/reference-types#66 - Enable reference types when exnref is used (The reference types proposal is a prerequisite of the EH proposal)
Ping :) (Side note: Yesterday I commented on this thread about the difference between wast and wat or something, and that comment was meant for a completely different PR in Binaryen. Not sure why I ended up commenting here. If you saw it, please ignore it.) |
@@ -142,7 +142,7 @@ out/test/spec/bulk-memory-operations/binary.wast:725: assert_malformed passed: | |||
0000024: error: expected ref.null or ref.func in passive element segment | |||
0000025: error: expected END opcode after element expression | |||
out/test/spec/bulk-memory-operations/binary.wast:751: assert_malformed passed: | |||
0000022: error: segment elem expr type must be funcref or anyref (got i32) | |||
0000022: error: segment elem expr type must be reference types (got i32) |
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.
"must be a reference type"?
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.
Fixed
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.
lgtm too!
ref.func
for global initialization expressionsnullref
as a full-fledged type, after[spec/interpreter/test] Allow nullref type externally reference-types#66
proposal is a prerequisite of the EH proposal)