[Haskell-cafe] How to increase solver iterations?

6 Aug 2018

      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] How to increase solver iterations?

David Banas