-
Simon Peyton Jones authored
We only want to use rewriteableTyVarsOfType on CDictCan, CFunEqCan (and maybe CIrredCan). But not CTyEqCan. But we were -- for insolubles. So I narrowed the scope of the insuluble kick-out.
a5a6c527
We only want to use rewriteableTyVarsOfType on CDictCan, CFunEqCan (and maybe CIrredCan). But not CTyEqCan. But we were -- for insolubles. So I narrowed the scope of the insuluble kick-out.