aboutsummaryrefslogtreecommitdiff
path: root/notes
diff options
context:
space:
mode:
authorDrahflow <drahflow@gmx.de>2013-08-11 13:56:00 +0200
committerDrahflow <drahflow@gmx.de>2013-08-11 13:56:00 +0200
commit0865bf2aaa3693520e1629c550a589b73da0d11e (patch)
tree232d20f9c1239cd018e90158bcab55680fcad395 /notes
parent6971116b32857d3402a26723f604609f91900c93 (diff)
Static-mode names now patched up
Diffstat (limited to 'notes')
-rw-r--r--notes2
1 files changed, 1 insertions, 1 deletions
diff --git a/notes b/notes
index 8edbc5d..72d9f25 100644
--- a/notes
+++ b/notes
@@ -237,7 +237,7 @@ Main problem: How do we find out if the names mean what we believe they do?
- even more assignment semantics
=== Name Properties ===
* [d] deeply constant: objects referenced (indirectly) from this name can be assumed constant (constant implied)
-* [c] constant: the object reference of this name can be assumed constant (code constant and static implied)
+* [c] constant: the object reference of this name can be assumed constant (code constant implied)
* [t] code / type constant: the function type can be assumed constant (including whether this function has no captured scope)
* [s] static: the path from local scope to where the name resolves can be assumed constant
the name index within the scope can be assumed constant