Skip to content

Commit

Permalink
Spelling
Browse files Browse the repository at this point in the history
  • Loading branch information
SeanTAllen committed Jan 22, 2025
1 parent fc01f84 commit 559a0dd
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions .release-notes/4588.md
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
## Fix soundness problem with matching iso variables
## Fix soundness problem when matching `iso` variables

We previously switched our underlying type system model. In the process, a
soundness hole was introduced. The following code that should not compile was accepted by the compiler:
Expand All @@ -20,4 +20,4 @@ The code should not compile because `let s': String iso` is aliasing `_s` an iso

The take-away is that "very bad things could happen" and the data race freedom guarantees of the Pony compiler were being violated.

We've close the soundness hole. We recommend all Pony users update to the this release as soon as possible.
We've closed the soundness hole. We recommend all Pony users update to the this release as soon as possible.

0 comments on commit 559a0dd

Please sign in to comment.