Make SpecConstr work right for nullary constructors
authorsimonpj@microsoft.com <unknown>
Wed, 29 Nov 2006 19:24:21 +0000 (19:24 +0000)
committersimonpj@microsoft.com <unknown>
Wed, 29 Nov 2006 19:24:21 +0000 (19:24 +0000)
commit4d10902274c8a4f6c0a2f7bab069f0ebc49db1dd
tree43d382fc8577c471047a45c3304b7148c914e2f2
parent561e57422c9189457e2c837a6329861dbc4231a5
Make SpecConstr work right for nullary constructors

For totally stupid reasons, SpecConstr didn't work for the (particularly
easy) case of nullary constructors like True and False.  I just had some
equations in the wrong order, so that a Var case came first, which
matches a nullary constructor, with the constructor-application case
afterwards.

The fix is easy.  I did a bit of refactoring at the same time.
compiler/specialise/SpecConstr.lhs