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
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