<div dir="ltr">Huh. I'd report that as a ghc bug, since it told you the wrong option.</div><br><div class="gmail_quote"><div dir="ltr">On Mon, Aug 6, 2018 at 8:15 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">Oh, this is the syntax it wants:<div><br></div><div><div><font face="Menlo" style="font-size:14px">{-# OPTIONS_GHC -fconstraint-solver-iterations=10 #-}</font></div><div><br></div><div><blockquote type="cite"><div>On Aug 6, 2018, at 5:11 PM, David Banas <<a href="mailto:capn.freako@gmail.com" target="_blank">capn.freako@gmail.com</a>> wrote:</div><br class="m_-7887788664344507476Apple-interchange-newline"><div><div style="word-wrap:break-word">Thanks, Brandon!<div><br></div><div>When I try the line you suggest I get this:</div><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">    unknown flag in  {-# OPTIONS_GHC #-} pragma: -fsolver-iterations=10</span></div><div><span style="font-variant-ligatures:no-common-ligatures"><br></span></div><div><blockquote type="cite"><div>On Aug 6, 2018, at 5:09 PM, Brandon Allbery <<a href="mailto:allbery.b@gmail.com" target="_blank">allbery.b@gmail.com</a>> wrote:</div><br class="m_-7887788664344507476Apple-interchange-newline"><div><span style="font-family:ArialMT;font-size:18px;font-style:normal;font-variant-caps:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;float:none;display:inline!important">{-# OPTIONS_GHC -fsolver-iterations=10 #-}</span></div></blockquote></div><br></div></div></div></blockquote></div><br></div></div></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>