1.1 --- a/TO_DO.txt Fri May 11 00:20:56 2012 +0200
1.2 +++ b/TO_DO.txt Mon May 14 00:19:56 2012 +0200
1.3 @@ -126,7 +126,11 @@
1.4 -----------------------
1.5
1.6 Consider handling CallFunc in micropython.inspect in order to produce instances of specific classes.
1.7 -Then, consider adding support for guard removal/verification where known instances are involved.
1.8 +Then, consider adding support for guard removal/verification where known instances are involved. For
1.9 +example:
1.10 +
1.11 + l = []
1.12 + l.append(123) # type deductions are filtered using instantiation knowledge
1.13
1.14 Frame Optimisations
1.15 ===================