Obey the exprArity invariants! Fixes Trac #5441
authorSimon Peyton Jones <simonpj@microsoft.com>
Fri, 9 Sep 2011 09:04:55 +0000 (10:04 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Fri, 9 Sep 2011 09:04:55 +0000 (10:04 +0100)
commit1466b0ca760a18afbcab9c4128f6a05d220a5968
treee1495fea90afa016cb5054d9dba9ea249b678748
parentc2b1e0da0409e04ba08b6ff876486bd8463510a2
Obey the exprArity invariants!  Fixes Trac #5441

We were giving arity 2 to a function whose type was
    Int -> Any
That contradicts the exprArity invariant
(see Note [exprArity invariant] in CoreArity), and
in turn led to function whose actually code-generated arity
was different that advertised in the interface file.
Result: seg-fault city.
compiler/coreSyn/CoreArity.lhs