<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">Hi all,<div class=""><br class=""></div><div class="">I’m getting this ghc compilation error:<div class=""><br class=""></div><div class=""><div style="margin: 0px; font-size: 13px; line-height: normal; font-family: Menlo; background-color: rgb(255, 255, 255);" class=""><span style="font-variant-ligatures: no-common-ligatures" class=""> 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);" class=""><span style="font-variant-ligatures: no-common-ligatures" class=""> Set limit with -fsolver-iterations=n; n=0 for no limit</span></div></div><div class=""><span style="font-variant-ligatures: no-common-ligatures" class=""><br class=""></span></div><div class=""><span style="font-variant-ligatures: no-common-ligatures" class="">These are the only plug-ins I’m using:</span></div><div class=""><span style="font-variant-ligatures: no-common-ligatures" class=""><br class=""></span></div><div class=""><span style="font-variant-ligatures: no-common-ligatures" class=""><div class=""><font face="Menlo" style="font-size: 14px;" class="">{-# OPTIONS_GHC -fplugin GHC.TypeLits.KnownNat.Solver #-}</font></div><div class=""><font face="Menlo" style="font-size: 14px;" class="">{-# OPTIONS_GHC -fplugin TypeNatSolver #-}</font></div><div class=""><br class=""></div></span></div><div class=""><span style="font-variant-ligatures: no-common-ligatures" class="">I’ve tried the following, one at a time:</span></div><div class=""><span style="font-variant-ligatures: no-common-ligatures" class=""><br class=""></span></div><div class=""><span style="font-variant-ligatures: no-common-ligatures" class=""><div class=""><font face="Menlo" style="font-size: 14px;" class="">{-# OPTIONS_GHC -fplugin-opt=TypeNatSolver:solver-iterations=10 #-}</font></div><div class=""><font face="Menlo" style="font-size: 14px;" class="">{-# OPTIONS_GHC -fplugin-opt=TypeNatSolver:fsolver-iterations=10 #-}</font></div><div class=""><font face="Menlo" style="font-size: 14px;" class="">{-# OPTIONS_GHC -fplugin-opt=GHC.TypeLits.KnownNat.Solver:solver-iterations=10 #-}</font></div><div class=""><div class=""><font face="Menlo" style="font-size: 14px;" class="">{-# OPTIONS_GHC -fplugin-opt=GHC.TypeLits.KnownNat.Solver:fsolver-iterations=10 #-}</font></div></div><div class=""><font face="Menlo" style="font-size: 14px;" class=""><br class=""></font></div><div class=""><div class="">But, I always get, “(limit = 4)”.</div></div><div class=""><br class=""></div><div class="">Does anyone know how to change the number of solver iterations?</div><div class=""><br class=""></div><div class="">Thanks,</div><div class="">-db</div><div class=""><br class=""></div></span></div></div></body></html>