diff options
| author | Andreas Klebinger <klebinger.andreas@gmx.at> | 2022-04-27 22:01:58 +0200 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-05-01 22:22:31 -0400 |
| commit | 2b2e30203a125dc5bfe70f3df7b39787aaf62b1e (patch) | |
| tree | 6ce0e6501db73f2c2abcfa764ff1ba8a03efda8e /libraries | |
| parent | 60071076d880c9ee189c93e0105a9b3d1ff87a3f (diff) | |
| download | haskell-2b2e30203a125dc5bfe70f3df7b39787aaf62b1e.tar.gz | |
exprIsDeadEnd: Use isDeadEndAppSig to check if a function appliction is bottoming.
We used to check the divergence and that the number of arguments > arity.
But arity zero represents unknown arity so this was subtly broken for a long time!
We would check if the saturated function diverges, and if we applied >=arity arguments.
But for unknown arity functions any number of arguments is >=idArity.
This fixes #21440.
Diffstat (limited to 'libraries')
0 files changed, 0 insertions, 0 deletions