[type-annos-observers] Improving the format of type annotation attributes

[ebruneton at free.fr]

>> Thanks Mike. Could you post the URLs to the PDF and HTML versions here
>> please? The links in the changelog are broken.
>
>That is a working copy of the changelog (it's a snapshot of the current
>version of the repository).  The links will work when the changelog is
>posted to the website as part of a release.
>
>I'm attaching the current version of the spec, in PDF and HTML form.
>People can always generate these from the source in the Mercurial
>repository, but I can also send it around.
>
>                     Thanks,
>
>                    -Mike

Thanks for the update! I haven't looked at it in details yet, but I noticed that inner_type_path examples seem to be in the wrong order, at least not in the order I would have expected (i.e. from outside to inside). For instance, for

@H O1. at E O2<@F S, at G T>. at D O3. at A Nested<@B U, @C V>

I would expect this:

@H empty path
@E inner type path { empty path }
@F inner type path { type argument path { 0, empty path } }
@G inner type path { type argument path { 1, empty path } }
@D inner type path { inner type path { empty path } }
@A inner type path { inner type path { inner type path { empty path } } }
@B inner type path { inner type path { inner type path { type argument path { 0, empty path } } } }
@C inner type path { inner type path { inner type path { type argument path { 1, empty path } } } }

Eric