Injective type families

[Jan Stolarek]

Ben,

>   1. Should this feature be placed behind a LANGUAGE pragma?
No, I don't think it should. I consider it a tiny addition to TypeFamilies that is not worth 
having its separate pragma. Injective TFs are fully backwards compatible, so no existing code 
will be broken.

>   2. Could you perhaps add some text to better motivate the feature in
>      the users guide?
Done. Tell me whether you like the new version.

BTW do we still have nightly builds of User's Guide?

Janek

>      Referring to the paper for the details of 
>      semantics of the feature and its implementation is fine, but
>      expecting a new user to refer to the paper to even know *why* they
>      might want to use it seems a bit unfriendly.
>
> Thanks!
>
> Cheers,
>
> - Ben



---
Politechnika Łódzka
Lodz University of Technology

Treść tej wiadomości zawiera informacje przeznaczone tylko dla adresata.
Jeżeli nie jesteście Państwo jej adresatem, bądź otrzymaliście ją przez pomyłkę
prosimy o powiadomienie o tym nadawcy oraz trwałe jej usunięcie.

This email contains information intended solely for the use of the individual to whom it is addressed.
If you are not the intended recipient or if you have received this message in error,
please notify the sender and delete it from your system.