1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/TO_DO.txt Fri Feb 12 01:34:28 2010 +0100
1.3 @@ -0,0 +1,19 @@
1.4 +Abandoned branches: should alternative type candidates be proposed by abandoned usage?
1.5 +(This involves using both _attrnames and _attrnames_abandoned on user nodes to decide on whether guards are appropriate.)
1.6 +
1.7 +Usage should not be instantly fed back to users.
1.8 +Branches should have an empty set of users and usage should only feed back to users defined on a branch or merged from sub-branches.
1.9 +
1.10 +Attribute users should be merged so that many users can be maintained for a name:
1.11 +
1.12 + def f(x):
1.13 + if ...:
1.14 + x = ...
1.15 + x.a() # affects assignment node
1.16 + x.b() # affects assignment and parameter nodes
1.17 +
1.18 +Constant attribute users need not maintain usage since they are already resolved.
1.19 +
1.20 +Consider handling CallFunc in micropython.inspect in order to produce instances of specific classes.
1.21 +Then, consider adding support for guard removal/verification where known instances are involved.
1.22 +Consider handling branches of values within namespaces in order to support more precise value usage.