type-annotations on lambda expression

Werner Dietl wdietl at gmail.com
Sat Mar 2 20:37:21 PST 2013

Maurizio, Steve, all,

please find my first (working) shot at implementing type annotations
on/within lambda expressions here:


I only have rudimentary tests and manually inspected a few more test
cases to see that the type annotations end up on the right symbols.

As mentioned previously, it would be great if Steve/SQE could add more
comprehensive test cases for this.

Please do let me know if you see any problem with this!

cu, WMD.


More information about the type-annotations-dev mailing list