Changes between Initial Version and Version 3 of Ticket #1795


Ignore:
Timestamp:
Oct 24, 2007 1:17:46 PM (8 years ago)
Author:
simonpj
Comment:

Definitely a bug. It happens because the improvement gives rise to an equality (a ~ (String,a)), and this equality is simply generated but not discharged, by TcSimplify.tcImprove.

Simon

Legend:

Unmodified
Added
Removed
Modified