idris-lang/Idris-dev — pull request #942 by ziman (2014-02-28 14:09:19+00:00)
Title: Add special names for instance constructors

Instance constructors get special names instead of ``(UN $ "instance" ++ show className)``, which is cleaner and more useful (helps erasure).

https://github.com/ziman/idris/compare/instance-ctors?expand=1#diff-89991dd5804bdba2ef2f2461a27c5be7L1724

All C tests pass.