type families not advertised for 6.8

Jean-Philippe Bernardy bernardy at chalmers.se
Wed Oct 17 16:24:34 EDT 2007


On 10/17/07, Simon Peyton-Jones <simonpj at microsoft.com> 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


More information about the Glasgow-haskell-users mailing list