question-mark
Stuck on an issue?

Lightrun Answers was designed to reduce the constant googling that comes with debugging 3rd party libraries. It collects links to all the places you might be looking at while hunting down a tough bug.

And, if you’re still stuck at the end, we’re happy to hop on a call to see how we can help out.

Missing anyref subtyping changes

See original GitHub issue

I’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
  )
)

cc @dcodeIO @binji

Issue Analytics

  • State:closed
  • Created 3 years ago
  • Comments:8 (4 by maintainers)

github_iconTop GitHub Comments

1reaction
dcodeIOcommented, Jun 19, 2020

Merged the PR now. An up-to-date build should become available on npm with the next successful scheduled build (at 0 UTC).

0reactions
dcodeIOcommented, Jun 20, 2020

Should be on npm now, v1.0.17.

Read more comments on GitHub >

github_iconTop 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 >

github_iconTop Related Medium Post

No results found

github_iconTop Related StackOverflow Question

No results found

github_iconTroubleshoot Live Code

Lightrun enables developers to add logs, metrics and snapshots to live code - no restarts or redeploys required.
Start Free

github_iconTop Related Reddit Thread

No results found

github_iconTop Related Hackernoon Post

No results found

github_iconTop Related Tweet

No results found

github_iconTop Related Dev.to Post

No results found

github_iconTop Related Hashnode Post

No results found