cadey
/
nim-wiki
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Updated Destructors (rest)

This commit is contained in:
Andreas Rumpf 2018-07-16 08:40:31 +02:00
parent e52310b226
commit d5ed7ff27b
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
Destructors.rest
View File

@ -129,6 +129,7 @@ it doesn't outlive its origin.
Rewrite rules (extended) Rewrite rules (extended)
======================== ========================
======== ==================== =========================================================== ======== ==================== ===========================================================
Rule Pattern Transformed into Rule Pattern Transformed into
======== ==================== =========================================================== ======== ==================== ===========================================================
@ -139,8 +140,7 @@ Rule Pattern Transformed into
4.1 y = sinkParam `=sink`(y, sinkParam) 4.1 y = sinkParam `=sink`(y, sinkParam)
4.2 x = y `=`(x, y) # a copy 4.2 x = y `=`(x, y) # a copy
5.1 f_sink(g()) f_sink(g()) 5.1 f_sink(g()) f_sink(g())
5.2 f_sink(y) f_sink(copy y); 5.2 f_sink(y) f_sink(copy y); # copy unless it's the last read
# copy unless we can see it's the last read
5.3 f_sink(move y) f_sink(y); reset(y) # explicit moves empties 'y' 5.3 f_sink(move y) f_sink(y); reset(y) # explicit moves empties 'y'
5.4 f_noSink(g()) var tmp = bitwiseCopy(g()); f(tmp); `=destroy`(tmp) 5.4 f_noSink(g()) var tmp = bitwiseCopy(g()); f(tmp); `=destroy`(tmp)
======== ==================== =========================================================== ======== ==================== ===========================================================