diff options
| author | Paolo Capriotti <p.capriotti@gmail.com> | 2012-09-02 17:40:51 +0100 |
|---|---|---|
| committer | Paolo Capriotti <p.capriotti@gmail.com> | 2012-09-03 10:52:54 +0100 |
| commit | 6def8bcf537eda726e7ae493a3fb73104ee129e5 (patch) | |
| tree | 391a5200c62f732fc25a1f9ad542b26bf3fb9d4d /docs | |
| parent | db5c6adc0c39a9ea997adca821fc7561afe1d500 (diff) | |
| download | haskell-6def8bcf537eda726e7ae493a3fb73104ee129e5.tar.gz | |
Disable the MR by default in GHCi (#3202)
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/ghci.xml | 29 |
1 files changed, 16 insertions, 13 deletions
diff --git a/docs/users_guide/ghci.xml b/docs/users_guide/ghci.xml index c7d3cc5c57..94be422c91 100644 --- a/docs/users_guide/ghci.xml +++ b/docs/users_guide/ghci.xml @@ -3057,6 +3057,7 @@ Prelude> :set -fno-warn-incomplete-patterns -XNoMultiParamTypeClasses Prelude> :seti base language is: Haskell2010 with the following modifiers: + -XNoMonomorphismRestriction -XNoDatatypeContexts -XNondecreasingIndentation -XExtendedDefaultRules @@ -3065,7 +3066,6 @@ other dynamic, non-language, flag settings: -fimplicit-import-qualified warning settings: </screen> - <para> Note that the option <option>-XExtendedDefaultRules</option> is on, because we apply special defaulting rules to @@ -3074,18 +3074,21 @@ warning settings: </para> <para> - It is often useful to change the language options for - expressions typed at the prompt only, without having that - option apply to loaded modules too. A good example is -<screen> -:seti -XNoMonomorphismRestriction -</screen> - It would be undesirable if - <option>-XNoMonomorphismRestriction</option> were to apply to - loaded modules too: that might cause a compilation error, but - more commonly it will cause extra recompilation, because GHC - will think that it needs to recompile the module because the - flags have changed. + Furthermore, the Monomorphism Restriction is disabled by default in + GHCi (see <xref linkend="monomorphism" />). + </para> + + <para> + It is often useful to change the language options for expressions typed + at the prompt only, without having that option apply to loaded modules + too. For example +<screen> +:seti -XMonoLocalBinds +</screen> + It would be undesirable if <option>-XMonoLocalBinds</option> were to + apply to loaded modules too: that might cause a compilation error, but + more commonly it will cause extra recompilation, because GHC will think + that it needs to recompile the module because the flags have changed. </para> <para> |