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 <chrisdone@gmail.com> 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 <chrisdone@gmail.com> 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

​