Updated Destructors (rest)

This commit is contained in:
Andreas Rumpf 2019-04-22 06:41:16 +02:00
parent e1ff3c7e59
commit 9dadf6653f
1 changed files with 4 additions and 2 deletions

View File

@ -66,8 +66,10 @@ destructor call needs to be injected. This is an important optimization
to keep the produced code size small. There is a ``system.move`` proc that can be used to annotate the moves at callsite that can further eliminate copies. to keep the produced code size small. There is a ``system.move`` proc that can be used to annotate the moves at callsite that can further eliminate copies.
Sink for locals Possible extension: Sink for locals
--------------- -----------------------------------
**Note**: This is not yet implemented and of questionable utility.
``sink T`` is also a valid type for locals. For a variable ``v`` of ``sink T`` is also a valid type for locals. For a variable ``v`` of
type ``sink T`` no destructor call is injected and it is statically type ``sink T`` no destructor call is injected and it is statically