Anna Kozlova 138bd5a034 new inference: provide diagnostics on failed inference (strict subtyping constraints); don't resolve vars before incorporate - this way captures won't be opened too early

2015-11-24 10:30:21 +01:00

225 B

Raw Permalink Blame History

View Raw