Skip to content

Commit

Permalink
Merge pull request #669 from coder3112/grammar_error_doc
Browse files Browse the repository at this point in the history
Fix grammar in dups-and-sups.md
  • Loading branch information
developedby authored Aug 9, 2024
2 parents 23e086c + 66e5da7 commit c3d86e3
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions docs/dups-and-sups.md
Original file line number Diff line number Diff line change
Expand Up @@ -31,7 +31,7 @@ let {x1 x2} = {1 2}
```

Due to how duplications are compiled, when two dups interact, they destructively interfere with each other.
In this case the result doesn't follow the expected behavior (it's well defined at the HVM level, but doesn't is incorrect at a lambda-calculus level).
In this case the result doesn't follow the expected behavior (it's well defined at the HVM level, but is incorrect at a lambda-calculus level).

That imposes a strong restriction on correct Bend programs: a variable should not duplicate another variable that itself duplicates some variables.

Expand All @@ -57,4 +57,4 @@ def main:
```

In this case, we can only have one source of duplication, or our results will be incorrect.
Either List/map is linear (doesn't duplicate `f`) or the passed function is linear (doesn't duplicate `x` or any other variable inside it).
Either List/map is linear (doesn't duplicate `f`) or the passed function is linear (doesn't duplicate `x` or any other variable inside it).

0 comments on commit c3d86e3

Please sign in to comment.