2006-12-02 | paulb | file changeset files shortlog | Introduced type "merging" for attributes, rather than replacement which is not likely to be correct generally. Introduced empty type lists for unannotated arguments; such arguments may be subsequently annotated when completing recursive analysis. |
paul@0 | 1 | while a: |
paul@0 | 2 | while x: |
paul@0 | 3 | x = y.m() |
paul@0 | 4 | else: |
paul@0 | 5 | x = y.n() |
paul@0 | 6 | else: |
paul@0 | 7 | a = b |