[Haskell-cafe] How to increase solver iterations?

[David Banas]

Hi all,

I’m getting this ghc compilation error:

    solveSimpleWanteds: too many iterations (limit = 4)
      Set limit with -fsolver-iterations=n; n=0 for no limit

These are the only plug-ins I’m using:

{-# OPTIONS_GHC -fplugin GHC.TypeLits.KnownNat.Solver #-}
{-# OPTIONS_GHC -fplugin TypeNatSolver #-}

I’ve tried the following, one at a time:

{-# OPTIONS_GHC -fplugin-opt=TypeNatSolver:solver-iterations=10 #-}
{-# OPTIONS_GHC -fplugin-opt=TypeNatSolver:fsolver-iterations=10 #-}
{-# OPTIONS_GHC -fplugin-opt=GHC.TypeLits.KnownNat.Solver:solver-iterations=10 #-}
{-# OPTIONS_GHC -fplugin-opt=GHC.TypeLits.KnownNat.Solver:fsolver-iterations=10 #-}

But, I always get, “(limit = 4)”.

Does anyone know how to change the number of solver iterations?

Thanks,
-db

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20180806/410c6b47/attachment.html>