
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
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