You need to sign in or sign up before continuing.
New exhaustiveness checker breaks ghcirun004
The new exhaustiveness checker (8a506104, D1535) has broken tests/ghci/should_run/ghcirun004, which now hangs in desugaring. If one removes all but a few hundred of foo's equations in the test things return to sanity. It appears that the compile time is scaling non-linearly with the number of equations,
| no. equations | compile wall time |
|---|---|
| 150 | 0.4 s |
| 250 | 0.89 s |
| 300 | 1.22 s |
| 350 | 1.85 s |
| 400 | 2.65 s |
| 500 | 4.86 s |
| 550 | 6.60 s |
| 600 | 8.65 s |
| 650 | 10.27 s |
| 700 | 12.84 s |
| 1000 | 38.51 s |
Edited by Ben Gamari