Re: type families + GADT = type unsafety?

Am Donnerstag, 27. September 2007 15:27 schrieb Roberto Zunino:

Roberto Zunino wrote:

...

(Trac reports "database locked", posting here...)

For those interested, here are the follow-ups:

http://hackage.haskell.org/trac/ghc/ticket/1723

Regards, Zun.

simonpj writes there:

Manuel is about to nuke the old GADT stuff in favour of the new type-family stuff.

This doesn’t mean that GADTs are being dropped in favor of type families, does it? Best wishes, Wolfgang