<div><div dir="auto">Proper grammar strikes again!</div><div dir="auto"><br></div><div dir="auto">A related useful thing that I learned of recently is :load! (and :reload!) It’s equivalent to setting defer-type-errors, loading the module, and then unsetting. :r! and :l! don’t work, alas. </div><div dir="auto"><br></div><br><div class="gmail_quote"><div>On Tue, Feb 13, 2018 at 11:23 AM Christopher Done <<a href="mailto:chrisdone@gmail.com">chrisdone@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><div class="m_-5613514094277433736markdown-here-wrapper"><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-wrap;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><<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><div class="m_-5613514094277433736m_-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="m_-5613514094277433736HOEnZb"><div class="m_-5613514094277433736h5"><div class="gmail_extra"><br><div class="gmail_quote">On 13 February 2018 at 16:15, Christopher Done <span><<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><div class="m_-5613514094277433736m_-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>
_______________________________________________<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></div>