1.1 --- a/TO_DO.txt Thu Nov 17 01:49:57 2011 +0100
1.2 +++ b/TO_DO.txt Wed Nov 23 00:13:21 2011 +0100
1.3 @@ -64,6 +64,12 @@
1.4 Attribute Usage
1.5 ===============
1.6
1.7 +Consolidate interface observations by taking all cached table accesses and determining
1.8 +which usage patterns lead to the same types. For example, if full usage of {a, b} and
1.9 +{a, b, c} leads to A and B in both cases, either {a, b} can be considered as partial usage
1.10 +of the complete interface {a, b, c}, or the latter can be considered as an
1.11 +overspecification of the former.
1.12 +
1.13 Make the gathering of usage parameterisable according to the optimisation level so that a
1.14 choice can be made between control-flow-dependent observations and the simple collection
1.15 of all attributes used with a name (producing a more static interface observation).