X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2F6.6-notes.xml;h=1e2dd68465e927474900b05cb369a05a2e3678ac;hb=ea283aa74e6fd2bec2b88eae19908bba903adea1;hp=6b6df22f3085ccb9c615b679c4c9465e4e9bfc16;hpb=bebf54b1fefef0c337955ec1e653b44f4ec63d10;p=ghc-hetmet.git diff --git a/docs/users_guide/6.6-notes.xml b/docs/users_guide/6.6-notes.xml index 6b6df22..1e2dd68 100644 --- a/docs/users_guide/6.6-notes.xml +++ b/docs/users_guide/6.6-notes.xml @@ -17,10 +17,18 @@ - GHC now handles impredicative polymorphism and there are - changes to the way scoped type variables work; see - Simon's e-mail - for more details of the change, or for the documentation. + GHC now handles impredicative polymorphism; see . + + + + + There are significant changes to the way scoped type variables work, + and some programs that used to compile may no longer do so. + The new story is documented in . + ( Simon's e-mail + gives some background, but the user manual should be complete (tell + us if not), and + certainly takes precedence if there is any conflict.) @@ -54,6 +62,11 @@ ignored in comments, so ASCII code with comments in, for example, Latin-1 will also work. + + + A way to have Latin-1 source files pre-processed by GHC is + described in . + @@ -179,6 +192,16 @@ + The + + option is now called + . + (the old name is still accepted for backwards compatibility, + but will be removed in the future). + + + + The flag has been removed. @@ -370,6 +393,23 @@ See for more information. + + + GHCi now has an :edit command which pops + up an editor on the most recently loaded file, or a + specified file. See for + more information. + + + + + GHCi now invokes print by default on the + result of IO actions and bindings at the prompt. This is + occasionally not what you want, so it can be disabled (at + least for bindings) with + :set -fno-print-bind-result. See . + @@ -496,8 +536,9 @@ GHC.Exts now provides a function - lazy which forces GHC to think that its - argument is lazy in its first argument. + lazy, where lazy f + behaves like f, except GHC is forced + to believe that it is lazy in its first argument. For more details, see .