Missing anyref subtyping changes
See original GitHub issueI’m not 100% sure yet where the issue lies, but https://github.com/WebAssembly/wabt/commit/bf46c08b05fc6fcc457f1657e936fab24b4dceee has implemented spec changes to the ref.null
and ref.is_null
that now require a type parameter.
That commit was merged on 28 May, so in theory I’d expect those changes to be included in the latest nightly which is 20200603
.
However, snippets like following fail parsing even with reference_types
feature enabled:
(module
(func
(ref.null func) ;; <-- temp.wat:7:15: error: unexpected token func, expected ).
drop
)
)
Issue Analytics
- State:
- Created 3 years ago
- Comments:8 (4 by maintainers)
Top Results From Across the Web
Why are FunctionN types in Scala created as a subtype of ...
I understand that functions need to close over other variables, but I think it would be more natural to model it as arguments...
Read more >Multiversal Equality - Scala 3 - EPFL
Any subtype of AnyRef can be compared with Null (and vice versa). Why Two Type Parameters? One particular feature of the CanEqual type...
Read more >Proposal: Changes to implicit resolution rules
Rule 7 supports this case iff the String implicit is considered more specific than the AnyRef one due to subtyping and ignoring typeclass ......
Read more >Using matchers - ScalaTest
This be syntax can be used with any reference ( AnyRef ) type. ... Thus if you want to change how containership is...
Read more >end the blight of contrarivariance - Google Groups
It's also a big change, and it's a change that would make the language ... rules that we have give for subtyping, but...
Read more >Top Related Medium Post
No results found
Top Related StackOverflow Question
No results found
Troubleshoot Live Code
Lightrun enables developers to add logs, metrics and snapshots to live code - no restarts or redeploys required.
Start FreeTop Related Reddit Thread
No results found
Top Related Hackernoon Post
No results found
Top Related Tweet
No results found
Top Related Dev.to Post
No results found
Top Related Hashnode Post
No results found
Top GitHub Comments
Merged the PR now. An up-to-date build should become available on npm with the next successful scheduled build (at 0 UTC).
Should be on npm now, v1.0.17.