[Haskell-cafe] How to increase solver iterations?

[Brandon Allbery]

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 <capn.freako at gmail.com> 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 at gmail.com
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20180806/fab95ad5/attachment.html>