Add an effects(releasenone) function effects attribute

A ``@effects(releasenone)`` function might read/write global state but does not
perform a release.
This commit is contained in:
Arnold Schwaighofer
2018-03-01 14:18:16 -08:00
parent d6da4f714d
commit 390ba419fc
10 changed files with 23 additions and 9 deletions

View File

@@ -55,7 +55,7 @@ const uint16_t VERSION_MAJOR = 0;
/// describe what change you made. The content of this comment isn't important;
/// it just ensures a conflict if two people change the module format.
/// Don't worry about adhering to the 80-column limit for this line.
const uint16_t VERSION_MINOR = 401; // Last change: ValueOwnership
const uint16_t VERSION_MINOR = 402; // Last change: effects(releasenone)
using DeclIDField = BCFixed<31>;