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