idris-lang/Idris-dev — pull request #1271 by bmsherman (2014-05-30 21:58:54+00:00)
Title: Fix error in type-directed search

This is a fix for issue https://github.com/idris-lang/Idris-dev/issues/1266.