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.