diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2020-04-02 13:42:51 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-04-06 13:16:44 -0400 |
| commit | cec2c71fe91c88649628c6e83416533b816b86a5 (patch) | |
| tree | 065b3a34275f9605e01fd10578fa16bd72f8ad37 /Makefile | |
| parent | dcfe29c8520244764146c7a5f336be1f9700db6c (diff) | |
| download | haskell-cec2c71fe91c88649628c6e83416533b816b86a5.tar.gz | |
Fix an tricky specialiser loop
Issue #17151 was a very tricky example of a bug in which the
specialiser accidentally constructs a recurive dictionary,
so that everything turns into bottom.
I have fixed variants of this bug at least twice before:
see Note [Avoiding loops]. It was a bit of a struggle
to isolate the problem, greatly aided by the work that
Alexey Kuleshevich did in distilling a test case.
Once I'd understood the problem, it was not difficult to fix,
though it did lead me a bit of refactoring in specImports.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions