8 Commits

Author	SHA1	Message	Date
Anna Kozlova	d2b956c808	lambda: check formal types for equality	2012-08-20 21:47:21 +04:00
Anna Kozlova	5ba5425a54	lambda: infer from return type; cyclic inference stop	2012-08-13 11:29:40 +04:00
anna	01aefae9db	lambda: use wildcard bound for inferred param	2012-07-20 18:59:19 +02:00
anna	c3276bd56e	lambda: return type checks initial	2012-07-20 18:59:18 +02:00
anna	812b9a72ea	lambda: initial is assignable check; effectively final; acceptable context	2012-07-19 21:18:30 +02:00
anna	f90fadbd52	lambda: infer lambda param types in method call, return statement context	2012-07-19 18:44:23 +02:00
anna	d35061a610	lambda conflict resolve: check lambdas on per-params basis	2012-07-19 16:13:19 +02:00
anna	5bb4a61bb9	lambda: inference param types for assignment and cast context	2012-07-19 12:15:41 +02:00