How do you turn off GHC flags?

[Christopher Done-2]

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.

[Christopher Done-2]

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 <[hidden email]> 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.

[Christopher Done-2]

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 <[hidden email]> 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 <[hidden email]> 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.

[Ben Doyle]

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 <[hidden email]> 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 <[hidden email]> 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 <[hidden email]> 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.

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