Commit Graph

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