about summary refs log tree commit diff stats
path: root/Readme.md
diff options
context:
space:
mode:
authorKartik Agaram <vc@akkartik.com>2018-06-24 09:16:17 -0700
committerKartik Agaram <vc@akkartik.com>2018-06-24 09:18:20 -0700
commit23d3a02226973f80188e84fa5dcedb14413c5b7f (patch)
tree3c73284cb795e74d78e53b72df470cafca4c70cf /Readme.md
parent377b00b045289a3fa8e88d4b2f129d797c687e2f (diff)
downloadmu-23d3a02226973f80188e84fa5dcedb14413c5b7f.tar.gz
4266 - space for alloc-id in heap allocations
This has taken me almost 6 weeks :(
Diffstat (limited to 'Readme.md')
-rw-r--r--Readme.md6
1 files changed, 3 insertions, 3 deletions
diff --git a/Readme.md b/Readme.md
index 4e2b98c4..28784b30 100644
--- a/Readme.md
+++ b/Readme.md
@@ -336,9 +336,9 @@ channels.
 
 Routines are expected to communicate purely by message passing, though nothing
 stops them from sharing memory since all routines share a common address
-space. However, idiomatic Mu will make it hard to accidentally read or clobber
-random memory locations. Bounds checking is baked deeply into the semantics,
-and pointers can never be invalidated.
+space. However, idiomatic Mu will make it hard to accidentally read or
+clobber random memory locations. Bounds checking is baked deeply into
+the semantics, and using pointers after freeing them immediately fails.
 
 ---