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)
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


No differences found