1.1 --- a/TO_DO.txt Tue Jul 05 00:39:38 2011 +0200
1.2 +++ b/TO_DO.txt Tue Jul 05 00:40:32 2011 +0200
1.3 @@ -51,6 +51,10 @@
1.4 Attribute Usage
1.5 ===============
1.6
1.7 +Loop entry points and other places where usage becomes more specific might be used as
1.8 +places to impose guards. See tests/attribute_access_type_restriction_loop_list.py for an
1.9 +example.
1.10 +
1.11 Consider attribute usage observations being suspended inside blocks where AttributeError
1.12 may be caught (although this doesn't anticipate such exceptions being caught outside a
1.13 function altogether).
1.14 @@ -67,9 +71,6 @@
1.15
1.16 **** Constant attribute users need not maintain usage since they are already resolved. ****
1.17
1.18 -Loop entry points should capture usage to update later assignments in the loop.
1.19 -The continue and break statements should affect usage propagation.
1.20 -
1.21 Consider handling CallFunc in micropython.inspect in order to produce instances of specific classes.
1.22 Then, consider adding support for guard removal/verification where known instances are involved.
1.23 Consider handling branches of values within namespaces in order to support more precise value usage.