Type annotations on scoping mechanisms and type/declaration annotation errors
wdietl at gmail.com
Sun Oct 6 18:24:16 PDT 2013
I've just pushed the following three changesets to type-annotations:
I tried to address two issues:
1. errors on "scoping mechanisms" were inconsistent.
2. an annotation that is both a type and a declaration annotation is
legal, if it is legal under one interpretation (see this discussion:
Please have a look at the changed test cases and let me know what you think.
More complete combo-tests would be great!
More information about the type-annotations-dev