idris-lang/Idris-dev — pull request #1758 by david-christiansen (2014-11-30 20:20:31+00:00)
Title: Improve delaboration and pretty-printing for "case"

Now, the delaborator finds case expressions and converts them back to the original. This makes :printdef work with these.