<div dir="ltr"><div class="markdown-here-wrapper" style=""><p style="margin:0px 0px 1.2em!important">My bad, it’s <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">defer-type-errors</code>, not <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">deferred-type-errors</code>. I was confused due to the warning which is called <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">-Wdeferred-type-errors</code>:</p>
<pre style="font-size:0.85em;font-family:Consolas,Inconsolata,Courier,monospace;font-size:1em;line-height:1.2em;margin:1.2em 0px"><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;white-space:pre;overflow:auto;border-radius:3px;border:1px solid rgb(204,204,204);padding:0.5em 0.7em;display:block!important">TEMP.hs:6:7: warning: [-Wdeferred-type-errors]
    • Couldn't match expected type ‘Int’ with actual type ‘Char’
</code></pre><p style="margin:0px 0px 1.2em!important">So there’s a mismatch between these two flags.</p><p style="margin:0px 0px 1.2em!important">Disregard this thread.</p>
<div title="MDH:TXkgYmFkLCBpdCdzIGBkZWZlci10eXBlLWVycm9yc2AsIG5vdCBgZGVmZXJyZWQtdHlwZS1lcnJv
cnNgLiBJIHdhcyBjb25mdXNlZCBkdWUgdG8gdGhlIHdhcm5pbmcgd2hpY2ggaXMgY2FsbGVkIGAt
V2RlZmVycmVkLXR5cGUtZXJyb3JzYDo8ZGl2PmBgYDwvZGl2PjxkaXY+PGRpdj5URU1QLmhzOjY6
Nzogd2FybmluZzogWy1XZGVmZXJyZWQtdHlwZS1lcnJvcnNdPC9kaXY+PGRpdj4mbmJzcDsgJm5i
c3A7IOKAoiBDb3VsZG4ndCBtYXRjaCBleHBlY3RlZCB0eXBlIOKAmEludOKAmSB3aXRoIGFjdHVh
bCB0eXBlIOKAmENoYXLigJk8L2Rpdj48L2Rpdj48ZGl2PmBgYDwvZGl2PjxkaXY+U28gdGhlcmUn
cyBhIG1pc21hdGNoIGJldHdlZW4gdGhlc2UgdHdvIGZsYWdzLjwvZGl2Pg==" 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:18, 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_-6300019862578601937markdown-here-wrapper"><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="HOEnZb"><div class="h5"><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_-6300019862578601937m_-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>
</div></div></blockquote></div><br></div>