projects / matthijs / master-project / cλash.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0dcd1ce) | patch
Fix casesimpl and caseremove wrt scrutinee binders.
authorMatthijs Kooijman <matthijs@stdin.nl>
Wed, 10 Mar 2010 13:54:04 +0000 (14:54 +0100)
committerMatthijs Kooijman <matthijs@stdin.nl>
Wed, 10 Mar 2010 13:54:04 +0000 (14:54 +0100)
commit392d75eeca669762072ed691573533b2a0bba664
tree392b6975d0f868afa4a7a40eb35a988b2021c4a8tree | snapshot
parent0dcd1ce078cbae64bc2b968b4c8233c9b94727dccommit | diff
Fix casesimpl and caseremove wrt scrutinee binders.

Previously, they would not check if the scrutinee binder was used,
resulting in it being removed or incorrectly used in some cases.
cλash/CLasH/Normalize.hs diff | blob | history
The Cλash compiler