idris-lang/Idris-dev — pull request #1221 by paulkoerbitz (2014-05-11 14:09:42+00:00)
Title: Fix/911 make doc show superclasses

This commit fixes two issues with the `:doc` command at the repl:
1. #911: Default superclass instances are shown by `:doc`
2. #1212: Subclasses and instances of typeclasses should now be displayed correctly