8 Commits

Include renames

Author	SHA1	Message	Date
anna	b8c1c38788	new inference: raise a conflict for 2 captured wildcards as equality constraints ... (cherry picked from commit 52bf5c35f05483ed957af17eb80b1b70cd3ed1c9)	2013-11-25 16:47:50 +01:00
anna	4496371ca3	testdata	2013-11-12 22:38:06 +01:00
anna	a902c4ee87	testdata fixed	2013-11-08 11:06:57 +01:00
anna	9286cb4a28	testdata fixed	2013-10-30 17:46:35 +01:00
anna	417e906b18	test data fixed	2013-10-02 19:50:13 +02:00
anna	2ea47e35b1	new inference: move test	2013-09-26 19:16:12 +02:00
Anna Kozlova	ee56497e3d	new inference: symmetric variable bounds	2013-09-20 20:36:36 +04:00
Anna Kozlova	935cdbaf3b	new inference: initial tests	2013-09-20 12:11:57 +04:00