Proper grammar strikes again! 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. On Tue, Feb 13, 2018 at 11:23 AM Christopher Done wrote:

My bad, it’s defer-type-errors, not deferred-type-errors. I was confused due to the warning which is called -Wdeferred-type-errors:

TEMP.hs:6:7: warning: [-Wdeferred-type-errors] • Couldn't match expected type ‘Int’ with actual type ‘Char’

So there’s a mismatch between these two flags.

Disregard this thread. ​

On 13 February 2018 at 16:18, Christopher Done wrote:

...

If I use :unset -fdeferred-type-errors it says Some flags have not been recognized: -fno-deferred-type-errors, so perhaps there is no corresponding flag to turn this feature off in GHC/GHCi’s regular interface? ​

On 13 February 2018 at 16:15, Christopher Done wrote:

...

If I run :set -fdeferred-type-errors in GHCi, how do I turn it off again?

I tried -f-deferred-type-errors and -fno-deferred-type-errors and neither are recognized.

Cheers ​

_______________________________________________ Haskell-Cafe mailing list To (un)subscribe, modify options or view archives go to: http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe Only members subscribed via the mailman list are allowed to post.