X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2F6.6-notes.xml;h=0e7b12b94911f704beac08ba5b00c396dd990cd4;hb=143f4381d242e4a1c3174e8a0732a1e48f00a1aa;hp=9fe0ae0154d6168c4413c73302f0f17c4a3e1bf4;hpb=be44afec1ec075e7546118dddec42729d22d4c47;p=ghc-hetmet.git
diff --git a/docs/users_guide/6.6-notes.xml b/docs/users_guide/6.6-notes.xml
index 9fe0ae0..0e7b12b 100644
--- a/docs/users_guide/6.6-notes.xml
+++ b/docs/users_guide/6.6-notes.xml
@@ -28,7 +28,7 @@
GHC now handles impredicative polymorphism and there are
changes to the way scoped type variables work; see
Simon's e-mail
- for more details.
+ for more details of the change, or for the documentation.
@@ -41,6 +41,7 @@
f (x, y) | x `seq` False = undefined
| otherwise = [x,y]
+ See for more details.
@@ -96,6 +97,8 @@
performance when a lot of memory is taken up by
STArrays, IOArrays,
STRefs or IORefs.
+ For more details see
+ trac bug #650.
@@ -250,8 +253,14 @@
MyIO t
rather than just
IO t.
+ See
+ GHC's mechansim for deriving user-defined classes
+ for newtypes has been further generalised, to multi-parameter type
+ classes and higher-kinded types. See .
+
By default, pattern bindings in GHC are now monomorphic.
@@ -281,9 +290,17 @@
+ Linear implicit parameters have been scheduled for removal for some
+ time. In 6.6 we've removed them from the user manual, and they may
+ well disappear from the compiler itself in 6.6.1.
+
+
+
+
It is now possible, with the -I RTS flag,
to control the amount of idle time that happens before a major
- GC is performed.
+ GC is performed. There is more detail in
+ .
@@ -294,8 +311,30 @@
- The flag can now be used with
- , and hence can be used by cabal.
+ The flag, which makes libraries
+ smaller, can now be used with and hence
+ can be used by cabal.
+ See for more information.
+
+
+
+
+ Template Haskell used to have limited support for type signatures in
+ patterns, but since that design is in flux for Haskell (let alone
+ Template Haskell), we've removed type signatures in patterns from
+ Template Haskell.
+
+
+
+
+ GHC now supports postfix operators, as a simple generalisation of
+ left sections ().
+
+
+
+
+ Parallel arrays, as enabled by -fparr, no
+ longer work. They'll be coming back shortly, in full glory.
@@ -740,7 +779,7 @@
- Version number 1.1.5 (was 1.1.4).
+ Version number 1.1.6 (was 1.1.4).
@@ -763,24 +802,6 @@
- Added cabal-setup, a user interface to
- building and installing Cabal packages.
-
-
-
-
- Added cabal-install, an automated
- installer for cabal packages.
-
-
-
-
- There is now a Network.Hackage hierarchy
- for code needed by hackage, the package server.
-
-
-
-
There are now modules
Distribution.Simple.compiler
for each of GHC, NHC,
@@ -1132,23 +1153,6 @@
and System.Win32.Console.
-
-
- System.Win32 no longer exports
- LCID,
- LANGID,
- SortID,
- SubLANGID,
- PrimaryLANGID,
- mAKELCID,
- lANGIDFROMLCID,
- sORTIDFROMLCID,
- mAKELANGID,
- pRIMARYLANGID or
- sUBLANGID from
- System.Win32.NLS.
-
-
@@ -1188,7 +1192,7 @@
- Version number remains 0.1.
+ Version number 0.2 (was 0.1).
@@ -1298,95 +1302,6 @@
- HaXml
-
-
-
- Version number 1.16 (was 1.12.1).
-
-
-
-
- There are now lazy versions of the parsing modules
- Text.XML.HaXml.ParseLazy
- (a lazy non-validating XML parser) and
- Text.XML.HaXml.Html.ParseLazy
- (a lazy HTML parser).
-
-
-
-
- There are lazy versions of two of the example tools,
- CanonicaliseLazy and
- XtractLazy.
-
-
-
-
- Text.XML.HaXml.Haskell2Xml and
- Text.XML.HaXml.Xml2Haskell have been
- removed, with Text.XML.HaXml.XmlContent
- replacing them.
- You must now use {-! derive : XmlContent !-}
- rather than {-! derive :Haskell2Xml !-}
- to have instances derived for your classes.
-
-
-
-
- Now also provides the
- Text.ParserCombinators.HuttonMeijer
- monadic parser combinator library.
-
-
-
-
- Provides another new set of parser combinators, as well as a lazy
- variant, a variant that carries around state, and a
- variant that does both. The modules are
- Text.ParserCombinators.Poly,
- Text.ParserCombinators.PolyLazy,
- Text.ParserCombinators.PolyState and
- Text.ParserCombinators.PolyStateLazy
- respectively.
- It also provides
- Text.ParserCombinators.TextParser, which
- is the Poly parser combinators
- specialised for strings.
-
-
-
-
- Now provides a SAX-like parser in
- Text.XML.HaXml.SAX.
-
-
-
-
- Now provides a module
- Text.XML.HaXml.TypeMapping, which
- defines an explicit representation for Haskell types.
- This allows generation of a DTD from a Haskell value.
-
-
-
-
- The Posn type has been pulled out from
- Text.XML.HaXml.Lex into its own module
- Text.XML.HaXml.Posn. Some helper
- functions are also exported.
-
-
-
-
- The APIs to the pre-existing modules have also substantially
- changed.
-
-
-
-
-
- HGL
@@ -1434,187 +1349,6 @@
- Japi
-
-
-
- No change.
-
-
-
-
-
-
- monads
-
-
-
- Version number 2.0.1 (was 1.1).
-
-
-
-
- In Monad.Id, run has
- been renamed runId.
-
-
-
-
- The Monad.BackT module has been removed;
- use the new Monad.SearchT module instead.
-
-
-
-
- There is a new module Monad.ForEach
- containing a class ForEach, for
- applying a monadic function to each element in a container.
- It provides instances for [] and
- Maybe.
-
-
-
-
- The following combinators have been moved from
- Monad.Prelude to a new module
- Monad.Combinators:
- (@@),
- (#),
- (<#),
- (<##),
- concatMap and
- partitionM.
- Monad.Combinators also defines the
- following new combinators:
- ifM,
- whenM,
- andM,
- orM,
- allM,
- anyM,
- forEach2,
- forEach2_,
- forEach3 and
- forEach3_, and re-exports
- Control.Monad.
-
-
-
-
- The modules
- Monad.Cont,
- Monad.Except,
- Monad.Reader,
- Monad.State and
- Monad.Writer have been removed, but their
- monad transformer counterparts remain. If you want the
- monads then just transform the identity monad instead.
-
-
-
-
- The Monad.ExceptT module now also exports
- runExceptWith and unsafeRunExcept. It also now defines an
- instance ContM (ExceptT x m).
-
-
-
-
- In Monad.Prelude, the
- get method of the
- ReaderM module has been renamed
- getR. The local method
- has been removed with a new class
- ReadUpdM, with methods
- updateR
- and setR, taking its place.
- The letLocal function has also been removed.
-
-
-
-
- In Monad.Prelude,
- update has been made a method of
- StateM.
- The
- peek and poke methods
- have been renamed get and
- set respectively, and both have a default
- definition in terms of update.
- The poke_ function has also been renamed
- set_.
-
-
-
-
- In Monad.Prelude,
- handle has been taken out of the
- ExceptM class and put into a new
- class HandlerM along with a new method
- checkExcept.
- There are also new functions withHandler
- and handle_.
-
-
-
-
- The TakeWriterM class has been renamed
- CollectorM, and rather than a single
- method takeFrom it has methods
- censor and collect
- with default definitions in terms of each other.
-
-
-
-
- Monad.Prelude defines a type
- Cont and functions
- returnCC and cJump.
-
-
-
-
- Monad.Prelude exports functions
- inReader,
- inWriter,
- inState and
- inExcept.
- These make it easy to turn a pure representation of an
- effectful computation into an actual computation.
-
-
-
-
- The zipWith3M and
- zipWith3M_ functions have been removed
- from Monad.Prelude.
-
-
-
-
- Monad.Prelude now re-exports
- Monad.Combinators and
- Monad.ForEach, but no longer re-exports
- Monad.
-
-
-
-
- There is a new module Monad.Transformers
- which re-exports
- Monad.Id,
- Monad.ReaderT,
- Monad.WriterT,
- Monad.StateT,
- Monad.ExceptT,
- Monad.SearchT and
- Monad.ContT.
-
-
-
-
-
- mtl
@@ -1769,7 +1503,7 @@
- Version number remains 1.1.
+ Version number 1.2 (was 1.1).