Skip to content

Commit

Permalink
Merge pull request #648 from awoo-civ/patch-4
Browse files Browse the repository at this point in the history
  • Loading branch information
yorickpeterse authored Nov 15, 2023
2 parents bc391f8 + f4928fd commit 291b24e
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions docs/source/getting-started/memory-management.md
Original file line number Diff line number Diff line change
Expand Up @@ -60,7 +60,7 @@ compile-time error is produced.

Besides owned values, Inko also supports references. A reference allows you to
temporarily use a value without moving it. When the reference is no longer
needed, only the reference is discarded; not the value it points to. Creating a
needed, only the reference is discarded, not the value it points to. Creating a
reference is known as "borrowing", because you borrow the value the reference
points to.

Expand Down Expand Up @@ -102,7 +102,7 @@ class List[T] {
To ensure correctness, Inko maintains a reference count at runtime. This count
tracks the amount of `ref` and `mut` references that exist for an owned value.
If the owned value is dropped but references to it still exist, a panic is
produced and the program is aborted; protecting you against use-after-free
produced and the program is aborted, protecting you against use-after-free
errors.

The compiler tries to optimise code such that the amount of reference count
Expand Down Expand Up @@ -142,7 +142,7 @@ safety guarantees.

Unique values are created using the `recover` expression, and the return value
of such an expression is turned from a `T` into `uni T`, or from a `uni T` into
a `T`; depending on what the original type is:
a `T`, depending on what the original type is:

```inko
let a = recover [10, 20] # => uni Array[Int]
Expand Down

0 comments on commit 291b24e

Please sign in to comment.