Fix some typos (#14843)
This commit is contained in:
parent
4f70180a58
commit
7936768560
12 changed files with 42 additions and 42 deletions
|
|
@ -225,7 +225,7 @@ A sink parameter
|
|||
*may* be consumed once in the proc's body but doesn't have to be consumed at all.
|
||||
The reason for this is that signatures
|
||||
like ``proc put(t: var Table; k: sink Key, v: sink Value)`` should be possible
|
||||
without any further overloads and ``put`` might not take owership of ``k`` if
|
||||
without any further overloads and ``put`` might not take ownership of ``k`` if
|
||||
``k`` already exists in the table. Sink parameters enable an affine type system,
|
||||
not a linear type system.
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue