X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2Fflags.xml;h=27c0ddab6c05a7f1c0278004ea53ba4010f51305;hb=8bbebfe661bdc976965718a2a489515c4929a03f;hp=f0f6f36178f2b6841a5b72de062a77355adb1b2f;hpb=4920157a2e5b7679b6971632c1b1f7be38c09f53;p=ghc-hetmet.git diff --git a/docs/users_guide/flags.xml b/docs/users_guide/flags.xml index f0f6f36..27c0dda 100644 --- a/docs/users_guide/flags.xml +++ b/docs/users_guide/flags.xml @@ -470,7 +470,7 @@ - + Interactive-mode options @@ -517,11 +517,18 @@ + + Turn on printing of binding results in GHCi + dynamic - Turn off printing of binding results in GHCi + + + + Turn off printing of binding contents in GHCi dynamic - + @@ -742,7 +749,7 @@ - + Enable bang patterns. dynamic @@ -826,7 +833,7 @@ - + Enable rank-2 types. dynamic