Building patches that change format of interface files

[Jan Stolarek]

> In the case of D841, the interface file changes are very minor
> (specifically, a new tag is used when an empty closed type family is
> compiled, but of course none of them exist yet). Thus you might be able
> to get away without a full rebuild.
Good point. Sadly, your patch conflicts with my work on injective type families so looks like I 
have no choice but to do a full rebuild. I'll post comments about things I wanted to test on 
Phab.

Janek

---
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.