fixes #376
This commit is contained in:
parent
dcb0f243de
commit
ba80bd807c
5 changed files with 72 additions and 12 deletions
1
todo.txt
1
todo.txt
|
|
@ -75,6 +75,7 @@ Concurrency
|
|||
an ``injectLoop`` pragma
|
||||
- 'writes: []' effect; track reads/writes for shared types
|
||||
- use the effect system for static deadlock prevention and race detection
|
||||
- ``~`` operator for effects
|
||||
- introduce 'noaddr' pragma to prevent taking the address of a location; this
|
||||
is very handy to prevent aliasing of global data
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue