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.

Sign up for GitHub

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

Jump to bottom

Fails to build with ghc 9.2 because of RULES recursion #34

Open

maurges opened this issue Apr 25, 2023 · 1 comment

maurges commented Apr 25, 2023

Or at least that's why I assume happens. Here's the error message:

Simplifier ticks exhausted
  When trying RuleFired Extension.pow

And similar for Binary.pow

Upping the simplifier tick factor doesn't fix this, but removing the RULES entirely does.

The text was updated successfully, but these errors were encountered:

ysangkok commented Aug 18, 2024 •

edited

Loading

~~Interestingly, on GHC 9.10.1, it doesn't exhaust the ticks, but it takes a really long time when compiling:~~

[44 of 86] Compiling Curve.Weierstrass.BLS48_581T 
( src/Curve/Weierstrass/BLS48_581T.hs,
  x86_64-linux/ghc-9.10.1/elliptic-curve-0.1.0/build/Curve/Weierstrass/BLS48_581T.o, 
  x86_64-linux/ghc-9.10.1/elliptic-curve-0.1.0/build/Curve/Weierstrass/BLS48_581T.dyn_o )

~~It does succeed after like 10 mins though.~~

EDIT: Oh, I was wrong, it was compiling v0.3.0 instead. Newest version still has the exhaustion.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment