diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2016-03-01 08:26:24 -0800 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2016-03-01 08:26:24 -0800 |
commit | 0e2b02280fd856ee172fc0d61ced128c903db61c (patch) | |
tree | 060f1ca20d61224ba8b6f41fa6e268fc2fb803b1 /index.html | |
parent | 9f7edb2c12023e0a342f8ee9c3e4f8ea571d9572 (diff) | |
download | mu-0e2b02280fd856ee172fc0d61ced128c903db61c.tar.gz |
2724 - document failures of /space:global
Diffstat (limited to 'index.html')
-rw-r--r-- | index.html | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/index.html b/index.html index 90f46772..d0333cf8 100644 --- a/index.html +++ b/index.html @@ -132,9 +132,11 @@ Chaining spaces together to accomodate variables with varying lifetimes and ownership properties. <br/><a href='html/045closure_name.cc.html'>045closure_name.cc</a>: how spaces can implement lexical scope. -<br/><a href='html/046global.cc.html'>046global.cc</a>: support for 'global' -variables that are always available inside a single routine. Mu has no -variables that are available transparently across routines. +<br/><a href='html/046global.cc.html'>046global.cc</a>: experimental support +for 'global' variables that are always available inside a single routine. Mu +has no variables that are available transparently across routines, and this +might go away as well. Global variables are currently not checked as +rigorously as the rest of the type system. <br/><a href='html/047check_type_by_name.cc.html'>047check_type_by_name.cc</a>: a simple transform to deduce missing types in instructions on the basis of previous instructions in the same recipe. |