idris-lang/Idris-dev — pull request #1674 by edwinb (2014-10-25 17:58:18+00:00)
Title: Use Set for unique name checking for efficiency

A list is fine in most cases, but we were getting some pathologically
bad cases especially where there were lots of ambiguous names in large
functions.