projects / matthijs / master-project / cλash.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9b378bd) | patch
Rewrite substitute to clone the substitution range.
authorMatthijs Kooijman <m.kooijman@student.utwente.nl>
Wed, 19 Aug 2009 14:45:54 +0000 (16:45 +0200)
committerMatthijs Kooijman <m.kooijman@student.utwente.nl>
Wed, 19 Aug 2009 14:45:54 +0000 (16:45 +0200)
commit5eb86d4e07de5c2a31e0862314d100f72bfaa46e
tree49c18e769b397d422f9ea11a281072ad193120dbtree | snapshot
parent9b378bd9c8ea179ce0459fef9b362002f90dbc98commit | diff
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.
cλash/CLasH/Normalize.hs diff | blob | history
cλash/CLasH/Normalize/NormalizeTools.hs diff | blob | history
The Cλash compiler