summaryrefslogtreecommitdiff
path: root/libstd/die.myr
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2014-10-07 16:46:09 -0400
committerOri Bernstein <ori@eigenstate.org>2014-10-07 16:46:09 -0400
commite78d8bbdee7ae1ed843ec185eaa2cef31dd7d66d (patch)
treebf4e826a4a881c7e4332e473ccce078667e05eb2 /libstd/die.myr
parenteee351ec4167b3d70cd704edb38f85c63a7eca4d (diff)
downloadmc-e78d8bbdee7ae1ed843ec185eaa2cef31dd7d66d.tar.gz
Start adding support for '$noret' attr
This flags a function as non-returning.
Diffstat (limited to 'libstd/die.myr')
-rw-r--r--libstd/die.myr2
1 files changed, 1 insertions, 1 deletions
diff --git a/libstd/die.myr b/libstd/die.myr
index 7c979e3..918d426 100644
--- a/libstd/die.myr
+++ b/libstd/die.myr
@@ -2,7 +2,7 @@ use "syswrap.use"
use "types.use"
pkg std =
- const die : (msg : byte[:] -> void)
+ $noret const die : (msg : byte[:] -> void)
const assert : (cond : bool, msg : byte[:] -> void)
;;