7 Commits

Author	SHA1	Message	Date
Anna Kozlova	49dfdded70	new inference: don't push resolved vars in case of failed substitution	2015-11-24 10:30:21 +01:00
Anna Kozlova	7b0c5b6d05	new inference: check equals/upper/low bounds consistency	2015-05-29 14:48:27 +02:00
Anna Kozlova	bd681beb26	new inference: 18.5.2 adjustments	2014-02-19 09:46:15 +01:00
Anna Kozlova	021c0c891e	new inference: stop inference if false was inferred	2014-02-12 09:46:33 +01:00
Anna Kozlova	be84252e83	type equality constraint: reject type/wildcard pairs; subtyping constraint: become eq constraint for types	2014-01-31 21:41:19 +04:00
anna	2ea47e35b1	new inference: move test	2013-09-26 19:16:12 +02:00
Anna Kozlova	935cdbaf3b	new inference: initial tests	2013-09-20 12:11:57 +04:00