Re: help from the community?

Taral wrote:

I see nothing wrong with "case x of {}", with required braces. The layout rule never generates empty braces.

Also consider a simple "case x", following the already allowed omission of "where" in class and instance decls. class (This a,That a) => ThisThat a instance (This a,That a) => ThisThat a This will be useful for GADTs: data MyGADT a where IntGADT :: MyGADT Int never :: MyGADT Char -> t never x = case x -- no bottom needed -- Ashley Yakeley