search

sdiehl / galois-field

Finite field and algebraic extension field arithmetic
MIT License
50 stars 13 forks source link

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

Open maurges opened 1 year ago

maurges commented 1 year ago

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.

ysangkok commented 2 months ago

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.