diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2018-08-22 09:51:26 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2018-08-22 16:28:31 +0100 |
| commit | db6f1d9cfc74690798645a7cc5b25040c36bb35d (patch) | |
| tree | d878104f195f4f8855861ae8007fd287df5cd276 /hadrian | |
| parent | 44ba66527ae207ce2dd64eb2bce14656d474f6d1 (diff) | |
| download | haskell-db6f1d9cfc74690798645a7cc5b25040c36bb35d.tar.gz | |
Turn infinite loop into a panic
In these two functions
* TcIface.toIfaceAppTyArgsX
* Type.piResultTys
we take a type application (f t1 .. tn) and try to find
its kind. It turned out that, if (f t1 .. tn) was ill-kinded
the function would go into an infinite loop.
That's not good: it caused the loop in Trac #15473.
This patch doesn't fix the bug in #15473, but it does turn the
loop into a decent panic, which is a step forward.
Diffstat (limited to 'hadrian')
0 files changed, 0 insertions, 0 deletions