On 10/17/07, Simon Peyton-Jones <[EMAIL PROTECTED]> wrote: > | on <http://hackage.haskell.org/trac/ghc/ticket/1716#comment:2> I read: "we > are > | not advertising type equalities for 6.8". What does this mean? Is it > | possible that type family support will be removed from GHC at some point? > > Absolutely not; quite the reverse. It means that some of the *code* for type > functions happens to be in the 6.8 release --- but that code has bugs. It's > only in 6.8 for our convenience (to avoid too great a divergence between the > HEAD and 6.8), but we do not plan to *support* type functions in 6.8. Doing > that would delay 6.8 by 3 months.
Do you make any difference between associated type synonyms and type functions in this respect? --JP _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
