# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1318888068 -7200
# Node ID 014fe0e246a808187c07676fdb32dbdd20eea931
# Parent  c7dff8be7e8918945da11bcf679ed5dc29688fb0
Added various "to do" suggestions.

diff -r c7dff8be7e89 -r 014fe0e246a8 TO_DO.txt
--- a/TO_DO.txt	Wed Sep 28 00:20:35 2011 +0200
+++ b/TO_DO.txt	Mon Oct 17 23:47:48 2011 +0200
@@ -1,3 +1,7 @@
+Name usage types: as parameters, as base classes, as callables. This potentially restricts
+attribute usage effects because names mentioned as base classes are not propagated and
+made freely available for use in attribute accesses.
+
 Low-Level Instructions and Macro Instructions
 =============================================
 
@@ -60,6 +64,15 @@
 Attribute Usage
 ===============
 
+Make the gathering of usage parameterisable according to the optimisation level so that a
+choice can be made between control-flow-dependent observations and the simple collection
+of all attributes used with a name (producing a more static interface observation).
+
+Usage of self to restrict attribute usage observations and coverage.
+
+Perform attribute usage on attributes of self as names, potentially combining observations
+across methods.
+
 Loop entry points and other places where usage becomes more specific might be used as
 places to impose guards. See tests/attribute_access_type_restriction_loop_list.py for an
 example.
@@ -101,6 +114,12 @@
 attribute, or passed to another function or method might, if such observations were
 combined, allow frame-based or temporary allocation to occur.
 
+Instantiation
+=============
+
+Specific instances could be produced, providing type information and acting somewhat like
+classes during inspection.
+
 Inlining
 ========