"case" of an empty type should have no branches

Scott Turner 2haskell at pkturner.org
Tue Oct 11 04:52:04 CEST 2011


On 2011-10-09 07:26, Roman Beslik wrote:
> Why the following code does not work?
>> data Empty
>> quodlibet :: Empty -> a
>> quodlibet x = case x of
> "parse error (possibly incorrect indentation)"

It's a potential extension to ghc.
See http://hackage.haskell.org/trac/ghc/ticket/2431



More information about the Glasgow-haskell-users mailing list