1.1 --- a/TO_DO.txt Thu Oct 24 23:30:41 2013 +0200
1.2 +++ b/TO_DO.txt Fri Oct 25 00:59:37 2013 +0200
1.3 @@ -131,7 +131,8 @@
1.4 Additional Guards
1.5 -----------------
1.6
1.7 -Consider handling branches of values within namespaces in order to support more precise value usage.
1.8 +Consider handling branches of values within namespaces in order to support more precise
1.9 +value usage.
1.10
1.11 Loop entry points and other places where usage becomes more specific might be used as
1.12 places to impose guards. See tests/attribute_access_type_restriction_loop_list.py for an
1.13 @@ -187,7 +188,8 @@
1.14 Currently, this is done only for Const values in the context of attribute accesses during
1.15 inspection.
1.16
1.17 -Handling CallFunc in a similar way is more challenging. Consider the definitions in the sys module:
1.18 +Handling CallFunc in a similar way is more challenging. Consider the definitions in the
1.19 +sys module:
1.20
1.21 stderr = file()
1.22
1.23 @@ -196,6 +198,20 @@
1.24 If file can also refer to other objects, potential filtering operations are more severely
1.25 limited.
1.26
1.27 +Propagation of type information can also occur. For example:
1.28 +
1.29 + DeducedSource(module, program).deduce()
1.30 +
1.31 +The DeducedSource invocation, if yielding an instance of the DeducedSource class, can then
1.32 +supply the attribute access operation with type information.
1.33 +
1.34 +A more advanced example involves accesses then invocations:
1.35 +
1.36 + x = self.__class__()
1.37 +
1.38 +Here, the effect should be the inference that x may refer to an instance of one of a
1.39 +number of eligible types of which self is also an instance.
1.40 +
1.41 Invocation-Related Deduction
1.42 ============================
1.43
1.44 @@ -269,7 +285,8 @@
1.45 Importing Modules
1.46 =================
1.47
1.48 -Consider supporting relative imports, even though this is arguably a misfeature.
1.49 +(Explicit relative imports are now supported.) Consider supporting relative imports, even
1.50 +though this is arguably a misfeature.
1.51
1.52 Other
1.53 =====