Updated Destructors (rest)

This commit is contained in:
Andreas Rumpf 2018-04-03 16:05:20 +02:00
parent 5aba100852
commit c776477ce0
1 changed files with 8 additions and 0 deletions

View File

@ -160,6 +160,14 @@ An analysis like "every code path provable leads to the parameters consumption"
**Solution**: The analysis can introduce a fallback path with hidden bool flags like ``if not flag: =destroy(sinkParam)``. Furthermore the compiler should probably get even smarter in its inference of ``raises: []``. **Solution**: The analysis can introduce a fallback path with hidden bool flags like ``if not flag: =destroy(sinkParam)``. Furthermore the compiler should probably get even smarter in its inference of ``raises: []``.
This solution has been implemented.
Object and array constructors
=============================
Passing a value ``x`` to an object or array constructor as in ``MyObject(field: x)`` is conceptually the same as ``=sink(myobj.field, x)``. This still needs to be implemented.
Interactions with the GC Interactions with the GC
======================== ========================