<div dir="ltr">This is a ghc option, not a plugin option. {-# OPTIONS_GHC -fsolver-iterations=10 #-}</div><br><div class="gmail_quote"><div dir="ltr">On Mon, Aug 6, 2018 at 8:08 PM David Banas <<a href="mailto:capn.freako@gmail.com">capn.freako@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word">Hi all,<div><br></div><div>I’m getting this ghc compilation error:<div><br></div><div><div style="margin:0px;font-size:13px;line-height:normal;font-family:Menlo;background-color:rgb(255,255,255)"><span style="font-variant-ligatures:no-common-ligatures">    solveSimpleWanteds: too many iterations (limit = 4)</span></div><div style="margin:0px;font-size:13px;line-height:normal;font-family:Menlo;background-color:rgb(255,255,255)"><span style="font-variant-ligatures:no-common-ligatures">      Set limit with -fsolver-iterations=n; n=0 for no limit</span></div></div><div><span style="font-variant-ligatures:no-common-ligatures"><br></span></div><div><span style="font-variant-ligatures:no-common-ligatures">These are the only plug-ins I’m using:</span></div><div><span style="font-variant-ligatures:no-common-ligatures"><br></span></div><div><span style="font-variant-ligatures:no-common-ligatures"><div><font face="Menlo" style="font-size:14px">{-# OPTIONS_GHC -fplugin GHC.TypeLits.KnownNat.Solver #-}</font></div><div><font face="Menlo" style="font-size:14px">{-# OPTIONS_GHC -fplugin TypeNatSolver #-}</font></div><div><br></div></span></div><div><span style="font-variant-ligatures:no-common-ligatures">I’ve tried the following, one at a time:</span></div><div><span style="font-variant-ligatures:no-common-ligatures"><br></span></div><div><span style="font-variant-ligatures:no-common-ligatures"><div><font face="Menlo" style="font-size:14px">{-# OPTIONS_GHC -fplugin-opt=TypeNatSolver:solver-iterations=10 #-}</font></div><div><font face="Menlo" style="font-size:14px">{-# OPTIONS_GHC -fplugin-opt=TypeNatSolver:fsolver-iterations=10 #-}</font></div><div><font face="Menlo" style="font-size:14px">{-# OPTIONS_GHC -fplugin-opt=GHC.TypeLits.KnownNat.Solver:solver-iterations=10 #-}</font></div><div><div><font face="Menlo" style="font-size:14px">{-# OPTIONS_GHC -fplugin-opt=GHC.TypeLits.KnownNat.Solver:fsolver-iterations=10 #-}</font></div></div><div><font face="Menlo" style="font-size:14px"><br></font></div><div><div>But, I always get, “(limit = 4)”.</div></div><div><br></div><div>Does anyone know how to change the number of solver iterations?</div><div><br></div><div>Thanks,</div><div>-db</div><div><br></div></span></div></div></div>_______________________________________________<br>
Haskell-Cafe mailing list<br>
To (un)subscribe, modify options or view archives go to:<br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br>
Only members subscribed via the mailman list are allowed to post.</blockquote></div><br clear="all"><div><br></div>-- <br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div>brandon s allbery kf8nh</div><div><a href="mailto:allbery.b@gmail.com" target="_blank">allbery.b@gmail.com</a></div></div></div></div></div>