added a minor note to destroyer.nim
This commit is contained in:
parent
ac3e3cf2b0
commit
083cb00e8d
1 changed files with 3 additions and 0 deletions
|
|
@ -39,6 +39,9 @@
|
||||||
## x = y where y is read only once
|
## x = y where y is read only once
|
||||||
## is the same as: move(x, y)
|
## is the same as: move(x, y)
|
||||||
##
|
##
|
||||||
|
## Actually the more general rule is: The *last* read of ``y``
|
||||||
|
## can become a move if ``y`` is the result of a construction.
|
||||||
|
##
|
||||||
## We also need to keep in mind here that the number of reads is
|
## We also need to keep in mind here that the number of reads is
|
||||||
## control flow dependent:
|
## control flow dependent:
|
||||||
## let x = foo()
|
## let x = foo()
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue