From: Matthijs Kooijman <m.kooijman@student.utwente.nl>
Date: Wed, 19 Aug 2009 14:45:54 +0000 (+0200)
Subject: Rewrite substitute to clone the substitution range.
X-Git-Url: https://git.stderr.nl/gitweb?a=commitdiff_plain;h=5eb86d4e07de5c2a31e0862314d100f72bfaa46e;hp=5eb86d4e07de5c2a31e0862314d100f72bfaa46e;p=matthijs%2Fmaster-project%2Fc%CE%BBash.git

Rewrite substitute to clone the substitution range.

This makes substitute no longer use CoreSubst for id substitutions, just
for type substitutions (which we don't have to clone before replacing
them). By cloning the substitution range before every substitution, we
keep the binders in it globally unique.
---