projects / matthijs / master-project / cλash.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0273d87) | patch
Don't propagate types with free tyvars.
authorMatthijs Kooijman <m.kooijman@student.utwente.nl>
Sun, 21 Jun 2009 15:24:29 +0000 (17:24 +0200)
committerMatthijs Kooijman <m.kooijman@student.utwente.nl>
Sun, 21 Jun 2009 15:24:29 +0000 (17:24 +0200)
commitf18e8ab055de511846f09efc7752628013142d0f
treecbd31642d8d663b2c1419d7213678ebdf6c014edtree | snapshot
parent0273d87f3e6e8790ca7beb5a46bea8d478a89194commit | diff
Don't propagate types with free tyvars.

Any free type variables in a type argument wouldn't be in scope in the new
function. Eventually, beta reducation and applicable inlining should make
sure that all type variables are resolved.
Normalize.hs diff | blob | history
The Cλash compiler