30 Jun
2004
30 Jun
'04
11:33 a.m.
I wrote:
I have attached a possible fix, but with it, the Hat prelude can no longer be transformed correctly, so you should not try to rebuild that.
Actually, the non-rebuildability of the Hat prelude turned out to be another bug, only made visible by the fix I suggested. Here is a patch to the Prelude which corrects that secondary fault. Since the combination of the two patches now seems to work, I'm committing them to CVS. Regards, Malcolm