id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	os	architecture	failure	difficulty	testcase	blockedby	blocking	related
2431	Allow empty case analysis	RalfHinze		"Using -XEmptyDataDecls I can declare an (almost) empty data type.
{{{
  data Void
}}}
However, I can't use an empty case to discriminate values of the
empty type.

This does not work:
{{{
  get :: Void -> a
}}}
Only the type signature, but no body. [This would be useful also
in other circumstances.]
{{{
  get :: Void -> a
  get v = case v of { }
}}}
An empty case in the body.

  "	feature request	closed	low	_|_	Compiler	6.8.3	fixed	empty case analysis	id@… eir@…	Unknown/Multiple	Unknown/Multiple	None/Unknown	Unknown	deSugar/should_compile/T2431