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@4 | 1 | -a |
paul@4 | 2 | +b |
paul@4 | 3 | ~c |