type families + GADT = type unsafety?

Wolfgang Jeltsch g9ks157k at acme.softbase.org
Thu Sep 27 10:59:49 EDT 2007

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 

Best wishes,

More information about the Glasgow-haskell-users mailing list