idris-lang/Idris-dev — pull request #1678 by edwinb (2014-10-26 12:01:31+00:00)
Title: Unification fix for chains of solutions

If we have (x,y), (y,z), etc, we need to have (x,z) as the solution
instead, and sometimes this didn't happen.
Fixes #1627