Call Arity: Never eta-expand thunks in recursive groups
authorJoachim Breitner <mail@joachim-breitner.de>
Fri, 14 Mar 2014 17:25:07 +0000 (18:25 +0100)
committerJoachim Breitner <mail@joachim-breitner.de>
Fri, 14 Mar 2014 17:26:54 +0000 (18:26 +0100)
commit306d255de6c33a2430822524bc81d07ec5c1e456
tree49571b3b77372e40a73489df14aa64a1c3ef7976
parentde32a95ef21970c2db959509861b4f59d1dcbb82
Call Arity: Never eta-expand thunks in recursive groups

Even if the recursion is a nice tail-call only recusion, we'd stil be
calling the thunk multiple times and eta-expansion would be wrong.
Includes a [Note].

(Also shows the disadvantage of unit tests: They had the same bug.)
compiler/simplCore/CallArity.hs
testsuite/tests/callarity/unittest/CallArity1.hs
testsuite/tests/callarity/unittest/CallArity1.stderr