Make all binders unique before normalizing.
authorMatthijs Kooijman <m.kooijman@student.utwente.nl>
Wed, 19 Aug 2009 12:35:23 +0000 (14:35 +0200)
committerMatthijs Kooijman <m.kooijman@student.utwente.nl>
Wed, 19 Aug 2009 12:35:52 +0000 (14:35 +0200)
commite3306b891a635b849664657a63eb2ba962ff8d99
treebe1e31bdad66b941c0d6fd254867760760ad1d1d
parent843f4ae4fae495fd340022febf4bf42bac9000a0
Make all binders unique before normalizing.
cλash/CLasH/Normalize.hs