<div dir="ltr"><div class="markdown-here-wrapper" style=""><p style="margin:0px 0px 1.2em!important">If I use <code style="font-size:0.85em;font-family:Consolas,Inconsolata,Courier,monospace;margin:0px 0.15em;padding:0px 0.3em;white-space:pre-wrap;border:1px solid rgb(234,234,234);background-color:rgb(248,248,248);border-radius:3px;display:inline">:unset -fdeferred-type-errors</code> it says <code style="font-size:0.85em;font-family:Consolas,Inconsolata,Courier,monospace;margin:0px 0.15em;padding:0px 0.3em;white-space:pre-wrap;border:1px solid rgb(234,234,234);background-color:rgb(248,248,248);border-radius:3px;display:inline">Some flags have not been recognized: -fno-deferred-type-errors</code>, so perhaps there is no corresponding flag to turn this feature off in GHC/GHCi’s regular interface?</p>
<div title="MDH:SWYgSSB1c2UgYDp1bnNldCAtZmRlZmVycmVkLXR5cGUtZXJyb3JzYCBpdCBzYXlzIGBTb21lIGZs
YWdzIGhhdmUgbm90IGJlZW4gcmVjb2duaXplZDogLWZuby1kZWZlcnJlZC10eXBlLWVycm9yc2As
IHNvIHBlcmhhcHMgdGhlcmUgaXMgbm8gY29ycmVzcG9uZGluZyBmbGFnIHRvIHR1cm4gdGhpcyBm
ZWF0dXJlIG9mZiBpbiBHSEMvR0hDaSdzIHJlZ3VsYXIgaW50ZXJmYWNlPw==" style="height:0;width:0;max-height:0;max-width:0;overflow:hidden;font-size:0em;padding:0;margin:0">​</div></div></div><div class="gmail_extra"><br><div class="gmail_quote">On 13 February 2018 at 16:15, Christopher Done <span dir="ltr"><<a href="mailto:chrisdone@gmail.com" target="_blank">chrisdone@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="m_-5150624673145474717markdown-here-wrapper"><p style="margin:0px 0px 1.2em!important">If I run <code style="font-size:0.85em;font-family:Consolas,Inconsolata,Courier,monospace;margin:0px 0.15em;padding:0px 0.3em;white-space:pre-wrap;border:1px solid rgb(234,234,234);background-color:rgb(248,248,248);border-radius:3px;display:inline">:set -fdeferred-type-errors</code> in GHCi, how do I turn it off again?</p>
<p style="margin:0px 0px 1.2em!important">I tried <code style="font-size:0.85em;font-family:Consolas,Inconsolata,Courier,monospace;margin:0px 0.15em;padding:0px 0.3em;white-space:pre-wrap;border:1px solid rgb(234,234,234);background-color:rgb(248,248,248);border-radius:3px;display:inline">-f-deferred-type-errors</code> and <code style="font-size:0.85em;font-family:Consolas,Inconsolata,Courier,monospace;margin:0px 0.15em;padding:0px 0.3em;white-space:pre-wrap;border:1px solid rgb(234,234,234);background-color:rgb(248,248,248);border-radius:3px;display:inline">-fno-deferred-type-errors</code> and neither are recognized.</p><p style="margin:0px 0px 1.2em!important">Cheers</p>
<div title="MDH:SWYgSSBydW4gYDpzZXTCoC1mZGVmZXJyZWQtdHlwZS1lcnJvcnNgIGluIEdIQ2ksIGhvdyBkbyBJ
IHR1cm4gaXQgb2ZmIGFnYWluPzxkaXY+PGJyPjwvZGl2PjxkaXY+SSB0cmllZCBgLWYtZGVmZXJy
ZWQtdHlwZS1lcnJvcnNgIGFuZCBgLWZuby1kZWZlcnJlZC10eXBlLWVycm9yc2AgYW5kIG5laXRo
ZXIgYXJlIHJlY29nbml6ZWQuPGJyPjwvZGl2Pg==" style="height:0;width:0;max-height:0;max-width:0;overflow:hidden;font-size:0em;padding:0;margin:0">​</div></div></div>
</blockquote></div><br></div>