Added Haddock to a function
Added more Haddock
Merge remote-tracking branch 'upstream/master' into idrisdoc
Namespaces only containing private members is now correctly considered empty
Updated test idrisdoc006 to give more information usable on failure.
Updated idrisdoc006 to be more throughly
Added IdrisDoc test which verifies inclusion of abstract and public namespace members
Merge remote-tracking branch 'upstream/master' into idrisdoc
Merge pull request #1140 from PhilipRasmussen/idrisdoc

IdrisDoc test improvements, Haddock, and bug fix