edwinb/Idris-dev — pull request #214 by Ralith (2013-03-06 22:44:54+00:00)
Title: Generate legal DChkCase expressions when defunctionalization is trivial

In some programs, such as ```main = putStrLn "Hello World"```, defunctionalization does not introduce any new constructors, and as a result there are no cases for APPLY to handle. Previously empty DChkCase expressions were generated, which have uncertain semantics. This patch instead generates a definition of APPLY which explicitly returns an undefined value.