This is a ghc option, not a plugin option. {-# OPTIONS_GHC -fsolver-iterations=10 #-} On Mon, Aug 6, 2018 at 8:08 PM David Banas wrote:

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

_______________________________________________ Haskell-Cafe mailing list To (un)subscribe, modify options or view archives go to: http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe Only members subscribed via the mailman list are allowed to post.

-- brandon s allbery kf8nh allbery.b@gmail.com