Skip to content

Simplifier ticks exhausted

Works with "-fsimpl-tick-factor=102".

Code is:

...
import qualified Data.Vector.Unboxed as UV
import qualified Data.Vector.Generic as VG
import qualified Data.Vector.Algorithms.Tim as Tim
...
∀ v alphabet. (VG.Vector v alphabet, Ord (v alphabet)) ⇒ v alphabet → SA
... SA ∘ VG.modify (Tim.sortBy (lexSuffixCmp st)) ∘ UV.enumFromN 0 $ VG.length st+1
...
Edited by davean
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information