idris-lang/Idris-dev — pull request #860 by david-christiansen (2014-02-06 09:55:55+00:00)
Title: Normalise provider types before checking

This ensures, among other things, that:
* Namespaces don't get in the way
* Type synonyms get expanded