projects / matthijs / master-project / cλash.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3f604ae) | patch
Unify typeprop and funprop into argprop.
authorMatthijs Kooijman <m.kooijman@student.utwente.nl>
Fri, 3 Jul 2009 17:09:32 +0000 (19:09 +0200)
committerMatthijs Kooijman <m.kooijman@student.utwente.nl>
Fri, 3 Jul 2009 17:09:32 +0000 (19:09 +0200)
commite091fb6b78ed5ea074e4c41879a712a806771ba4
treeefe2e06d871094685c0c89f6e130cca58ab82997tree | snapshot
parent3f604aecb0825aa68463da50137adbc74acfe8decommit | diff
Unify typeprop and funprop into argprop.

This also generalizes the conditions a bit by propagating anything that is
not representable.
Normalize.hs diff | blob | history
The Cλash compiler