8 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	9b5eb2418f	new inference: fresh variables	2014-08-21 18:14:27 +04:00
Anna Kozlova	b55c83742b	new inference: processing of compound bounds	2014-03-27 20:54:27 +01: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	b9ef7b60c7	new inference: subtyping/equality constraints interoperability	2014-02-11 09:39:59 +01: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