type families not advertised for 6.8

Remi Turk rturk at science.uva.nl
Thu Oct 18 18:14:31 EDT 2007


On Thu, Oct 18, 2007 at 02:58:21AM +0100, Simon Peyton-Jones wrote:
> | > 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?
> 
> No difference: both are in the 6.8 code base, but we won't
> support them there.  Both are in the HEAD, and we will support
> them there.
What does this imply for 6.8 support for FD's, as they now use
the same type-coercions?

Groeten, Remi


More information about the Glasgow-haskell-users mailing list