1.1 --- a/TO_DO.txt Tue Feb 23 01:30:51 2010 +0100
1.2 +++ b/TO_DO.txt Thu Feb 25 01:22:21 2010 +0100
1.3 @@ -1,16 +1,5 @@
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 +Loop entry points should capture usage to update later assignments in the loop.
1.18 +The continue and break statements should affect usage propagation.
1.19
1.20 Constant attribute users need not maintain usage since they are already resolved.
1.21