diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2014-08-29 08:06:36 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2014-08-29 10:21:34 +0100 |
| commit | 49370cedccc9d51395a6cc3e182b55ce5a50b560 (patch) | |
| tree | be96bfa094047a18fc009d640263686ea8049e0b /testsuite | |
| parent | 9072f2f86d2b3405a45c59960779aeeab281e634 (diff) | |
| download | haskell-49370cedccc9d51395a6cc3e182b55ce5a50b560.tar.gz | |
Improve trimming of auto-rules
I hadn't got the new function trimAutoRules quite right, so we had
a left-over rule which mentioned a local variable whose binding had
been discarded. (Result: crash when compiling Haddock.)
This patch merges trimAutoRules into an expanded version of
findExternalRules, gets it right, and adds lots of comments.
See Note [Finding external rules].
And indeed in one regression test we get to trim off more rules
(and hence code) than before.
Diffstat (limited to 'testsuite')
| -rw-r--r-- | testsuite/tests/simplCore/should_run/T2486.stderr | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/testsuite/tests/simplCore/should_run/T2486.stderr b/testsuite/tests/simplCore/should_run/T2486.stderr index 52f5533673..079367fbee 100644 --- a/testsuite/tests/simplCore/should_run/T2486.stderr +++ b/testsuite/tests/simplCore/should_run/T2486.stderr @@ -1,20 +1,4 @@ ==================== Tidy Core rules ==================== -"SPEC Main.fib @ GHC.Types.Double" [ALWAYS] - forall ($dNum :: Num Double) ($dOrd :: Ord Double). - fib @ Double $dNum $dOrd - = fib_$sfib1 -"SPEC Main.fib @ GHC.Types.Int" [ALWAYS] - forall ($dNum :: Num Int) ($dOrd :: Ord Int). - fib @ Int $dNum $dOrd - = fib_$sfib -"SPEC Main.tak @ GHC.Types.Double" [ALWAYS] - forall ($dNum :: Num Double) ($dOrd :: Ord Double). - tak @ Double $dNum $dOrd - = tak_$stak1 -"SPEC Main.tak @ GHC.Types.Int" [ALWAYS] - forall ($dNum :: Num Int) ($dOrd :: Ord Int). - tak @ Int $dNum $dOrd - = tak_$stak |