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