idris-lang/Idris-dev — pull request #1140 by PhilipRasmussen (2014-04-30 23:15:53+00:00)
Title: IdrisDoc test improvements, Haddock, and bug fix

This pull request includes:
* Additional Haddock added.
* Namespaces only containing private declarations are now correctly treated as empty.
* Added a test to verify that only public and abstract namespace declarations are documented.
* Improved other tests to be thorough and give better information on potential failure.