Re: [jhc] darcs patch: Avoid unnecessary substitutions.

I am not sure if this transformation is valid. Mainly, the 'info' and 'type' fields of the tvr may have been modified by other transformations so the variable may need to be substituted anyway even if its ident is the same. John -- John Meacham - ⑆repetae.net⑆john⑈