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