idris-lang/Idris-dev — pull request #1677 by edwinb (2014-10-25 23:12:41+00:00)
Title: Fix missing case in PartialEval.hs

Fixes #1664. We may need to think more carefully about how to build
partially evaluated definitions better later, but this is a safe
solution for the moment.