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
_______________________________________________
Haskell-prime mailing list
Haskell-prime@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-prime
