idris-lang/Idris-dev — pull request #1206 by paulkoerbitz (2014-05-06 19:54:06+00:00)
Title: Make ':doc' say 'No constructors.' when a data type has no constructors.

This fixes #1187.