projects / matthijs / master-project / cλash.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 031ee3b) | patch
Make beta reduction of Case expressions work for type arguments.
authorMatthijs Kooijman <m.kooijman@student.utwente.nl>
Sun, 21 Jun 2009 15:47:36 +0000 (17:47 +0200)
committerMatthijs Kooijman <m.kooijman@student.utwente.nl>
Sun, 21 Jun 2009 15:47:36 +0000 (17:47 +0200)
commit2c984b0eb64800eed57a50b4b5f8a4c78ab15097
tree6bca0fb11ab21bbe5df41b185febc76b80849ceetree | snapshot
parent031ee3b7556147516be038372de576b3db6b67bacommit | diff
Make beta reduction of Case expressions work for type arguments.

Previously, splitFunTy was used, which assumes a function type, while a
type argument is applied to a forall type instead of a function type.
Using applyTypeToArg handles all this for us.
Normalize.hs diff | blob | history
The Cλash compiler