projects / matthijs / master-project / cλash.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 149fc42) | patch
Don't create selector cases for unused binders.
authorMatthijs Kooijman <m.kooijman@student.utwente.nl>
Tue, 14 Jul 2009 13:31:56 +0000 (15:31 +0200)
committerMatthijs Kooijman <m.kooijman@student.utwente.nl>
Tue, 14 Jul 2009 13:31:56 +0000 (15:31 +0200)
commit43c13fec6c7ce3eccb509b7b136789704ae2f952
treee814d4cfe94b41281f3f5fb384a3e53b797c640ctree | snapshot
parent149fc422a264f8cbb90af36e3f4926977bdcf35bcommit | diff
Don't create selector cases for unused binders.

Previously, no selector cases were created for wild binders, using the
hacky is_wild predicate. Now, this checks the free variables of the case
value instead.
Normalize.hs diff | blob | history
The Cλash compiler