Clojure JIRAhttp://dev.clojure.org/jira
This file is an XML representation of an issueen-us4.464925-07-2011[CTYP-150] Fix constraint generation with intersectionshttp://dev.clojure.org/jira/browse/CTYP-150
core.typed<p>Unit tests involving intersections often randomly fail. I think we need to carefully reconsider the constraint resolution algorithm cases for intersections, in particular we need to be more consistent about which combinations of intersection members we use in the final cset.</p>CTYP-150Fix constraint generation with intersectionsDefectMajorClosedCompletedAmbrose Bonnaire-SergeantAmbrose Bonnaire-SergeantSun, 8 Jun 2014 14:47:49 -0500Sun, 20 Jul 2014 05:34:03 -0500Sun, 20 Jul 2014 05:33:55 -050000<p>Relevant: <a href="https://github.com/clojure/core.typed/commit/fe91e01855ec387ed5d1e30f4fe079d70782ffa7">https://github.com/clojure/core.typed/commit/fe91e01855ec387ed5d1e30f4fe079d70782ffa7</a></p><p>Intersections are now ordered.</p>Global Rank