Skip to content

v0.8.1

Latest
Latest

Choose a tag to compare

View all tags
@fegge fegge released this 10 Apr 14:19
· 13 commits to main since this release
Immutable release. Only release title and notes can be modified.
v0.8.1
ea2d1e1
This commit was signed with the committer’s verified signature.
fegge Fredrik Dahlgren
SSH Key Fingerprint: zXaOWQywhTs+g6rPBaTXaXWICY/tri+r8YiUcMhGicU
Verified
Learn about vigilant mode.

Changes

  • Type mismatch diagnostics now track structured requirement origins instead of only bare type facts.
  • Related notes now point to the consumer that imposes the requirement, with operation-specific explanations for U32 operations, memory-address uses, calls, and intrinsic arguments.

Bug fixes

  • Fixed assignment and result-widening diagnostics so the related location no longer duplicates the primary span.
  • Fixed public input validation diagnostics to point at the internal use site that requires validation instead of the procedure definition.
Assets 3
Loading