projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0506cb7) | patch
Improve arity propagation in the specialiser
authorsimonpj@microsoft.com <unknown>
Mon, 23 Mar 2009 10:16:14 +0000 (10:16 +0000)
committersimonpj@microsoft.com <unknown>
Mon, 23 Mar 2009 10:16:14 +0000 (10:16 +0000)
commit22b34988e2b156593d7cfc9b72d6cc0ab471a1d2
treeaa245b4645108fa6e55ef2371f4f7a755455c7aetree | snapshot
parent0506cb7ec75321eaacc6c279d01d82368d2ca125commit | diff
Improve arity propagation in the specialiser

This patch makes the specialiser propagate arities a bit more
eagerly, which avoids a spurious warning in the simplifier.

See Note [Arity decrease] in Simplify.lhs
compiler/simplCore/Simplify.lhs diff | blob | history
compiler/specialise/Specialise.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)