-
Simon Peyton Jones authored
See Note [Replacement vs keeping]. There's a bit further to go with this change (to report unused givens). But it's already an improvement; see the latent bug described in the Note.
d8d00318
See Note [Replacement vs keeping]. There's a bit further to go with this change (to report unused givens). But it's already an improvement; see the latent bug described in the Note.