-
Notifications
You must be signed in to change notification settings - Fork 154
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
The power of Index
#2813
Labels
Comments
It looks like the issue was introduced by #2689, as compilation times are more or less constant before that PR got merged. |
leonschoorl
added a commit
that referenced
this issue
Sep 30, 2024
There was confusion between the size in bits and the type level argument to Index. Fixes #2813
leonschoorl
added a commit
that referenced
this issue
Sep 30, 2024
There was confusion between the size in bits and the type level argument to Index. Fixes #2813
2 tasks
leonschoorl
added a commit
that referenced
this issue
Oct 1, 2024
There was confusion between the size in bits and the type level argument to Index. Fixes #2813
kleinreact
pushed a commit
that referenced
this issue
Oct 7, 2024
There was confusion between the size in bits and the type level argument to Index. Fixes #2813
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
The following code
causes
clash
from master (currently 3b755b9) to get stuck and to eat up all my 64G of memory after about 15 minutes. Just runfrom within the repository for reproduction. There seems to be an exponential rise in compile time that is directly related to the chosen exponent. Here are some compile times, produced via replacing the
61
in the code above with the given values.Everything works, if I compile the file with my system
clash
tough, which still is atv1.8.1
. I tested the behavior with GHC9.6.4
and9.8.2
.The text was updated successfully, but these errors were encountered: