2012-07-01 | Paul Boddie | raw annotate files changeset graph | Added support for value assignments in general attribute name declarations. Changed the handling of globals in functions to use general attribute name declarations (the assertion of a name being used in isolation) instead of attribute usage observations (where combinations of names are used to deduce more specific types). |