Check whether the main function is actually exported (#414)
[ghc-hetmet.git] / docs / users_guide / 6.12.1-notes.xml
1 <?xml version="1.0" encoding="iso-8859-1"?>
2 <sect1 id="release-6-12-1">
3   <title>Release notes for version 6.12.1</title>
4
5   <para>
6     The significant changes to the various parts of the compiler are
7     listed in the following sections. There have also been numerous bug
8     fixes and performance improvements over the 6.10 branch.
9   </para>
10
11   <sect2>
12     <title>Language changes</title>
13     <itemizedlist>
14       <listitem>
15         <para>
16           The new <literal>TupleSections</literal> language extension
17           enables tuple sections, such as <literal>(, True)</literal>.
18           See <xref linkend="tuple-sections" /> for more information.
19         </para>
20       </listitem>
21
22       <listitem>
23         <para>
24           The new <literal>MonoLocalBinds</literal> language extension
25           disables type variable generalisation for bindings in
26           <literal>let</literal> and <literal>where</literal> clauses.
27         </para>
28       </listitem>
29
30       <listitem>
31         <para>
32           The new <literal>DeriveFunctor</literal>,
33           <literal>DeriveFoldable</literal> and
34           <literal>DeriveTraversable</literal> language extensions
35           enable deriving for the respective type classes.
36           See <xref linkend="deriving-typeable" /> for more information.
37         </para>
38       </listitem>
39
40       <listitem>
41         <para>
42           The new <literal>NoNPlusKPatterns</literal> language extension
43           disables <literal>n+k</literal> patterns.
44           See <xref linkend="n-k-patterns" /> for more information.
45         </para>
46       </listitem>
47
48       <listitem>
49         <para>
50           Some improvements have been made to record puns:
51         </para>
52         <itemizedlist>
53           <listitem>
54             <para>
55               <literal>C { A.a }</literal> now works, expanding to
56               <literal>C { A.a = a }</literal>.
57             </para>
58           </listitem>
59
60           <listitem>
61             <para>
62               <literal>-fwarn-unused-matches</literal> no longer
63               warns about bindings introduced by
64               <literal>f (C {..}) = x</literal>.
65             </para>
66           </listitem>
67
68           <listitem>
69             <para>
70               The <literal>RecordWildCards</literal> language
71               extension implies
72               <literal>DisambiguateRecordFields</literal>.
73             </para>
74           </listitem>
75         </itemizedlist>
76       </listitem>
77
78       <listitem>
79         <para>
80           Declarations such as
81         </para>
82 <programlisting>
83 data T a where
84     MkT :: forall a. Eq a => { x,y :: !a } -> T a
85 </programlisting>
86         <para>
87           are now only accepted if the extension
88           <literal>TypeOperators</literal> is on.
89         </para>
90       </listitem>
91
92       <listitem>
93         <para>
94           It is now possible to define GADT records with class
95           constraints. The syntax is:
96         </para>
97 <programlisting>
98 data T a where
99     MkT :: forall a. Eq a => { x,y :: !a } -> T a
100 </programlisting>
101       </listitem>
102
103       <listitem>
104         <para>
105           You can now list multiple GADT constructors with the same type,
106           e.g.:
107         </para>
108 <programlisting>
109 data T where
110     A, B :: T
111     C :: Int -> T
112 </programlisting>
113       </listitem>
114
115       <listitem>
116         <para>
117           It is now possible to use GADT syntax for data families:
118         </para>
119 <programlisting>
120 data instance T [a] where
121     T1 :: a -> T [a]
122 </programlisting>
123         <para>
124           and make data instances be GADTs:
125         </para>
126 <programlisting>
127 data instance T [a] where
128     T1 :: Int -> T [Int]
129     T2 :: a -> b -> T [(a,b)]
130 </programlisting>
131       </listitem>
132
133       <listitem>
134         <para>
135           Record updates can now be used with datatypes containing
136           existential type variables, provided the fields being altered
137           do not mention the existential types.
138         </para>
139       </listitem>
140
141       <listitem>
142         <para>
143           The <literal>ImpredicativeTypes</literal> extension now imples
144           the <literal>RankNTypes</literal> extension.
145         </para>
146       </listitem>
147
148       <listitem>
149         <para>
150           The <literal>ImpredicativeTypes</literal> extension is no
151           longer enabled by <literal>-fglasgow-exts</literal>.
152         </para>
153       </listitem>
154
155       <listitem>
156         <para>
157           You can now give multi-line <literal>DEPRECATED</literal> and
158           <literal>WARNING</literal> pragmas:
159         </para>
160 <programlisting>
161 {-# DEPRECATED defaultUserHooks
162      ["Use simpleUserHooks or autoconfUserHooks, unless you need Cabal-1.2"
163      , "compatibility in which case you must stick with defaultUserHooks"]
164   #-}
165 </programlisting>
166       </listitem>
167
168       <listitem>
169         <para>
170           The <literal>-#include</literal> flag and
171           <literal>INCLUDE</literal> pragma are now deprecated and
172           ignored.  Since version 6.10.1, GHC has generated its own C
173           prototypes for foreign calls, rather than relying on
174           prototypes from C header files.
175         </para>
176       </listitem>
177
178       <listitem>
179         <para>
180           The <literal>threadsafe</literal> foreign import safety level
181           is now deprecated; use <literal>safe</literal> instead.
182         </para>
183       </listitem>
184
185       <listitem>
186         <para>
187           There is a new FFI calling convention called
188           <literal>prim</literal>, which allows calling C-- functions
189           (see <xref linkend="ffi-prim" />).
190           Most users are not expected to need this.
191         </para>
192       </listitem>
193     </itemizedlist>
194   </sect2>
195
196   <sect2>
197     <title>Warnings</title>
198     <itemizedlist>
199       <listitem>
200         <para>
201           A warning is now emitted if an unlifted type is bound in a
202           lazy pattern (in <literal>let</literal> or
203           <literal>where</literal> clause, or in an irrefutable pattern)
204           unless it is inside a bang pattern.
205           This warning is controlled by the
206           <literal>-fwarn-lazy-unlifted-bindings</literal> flag.
207           In a future version of GHC this will be an error.
208         </para>
209       </listitem>
210
211       <listitem>
212         <para>
213           There are two new warnings if a monadic result of type other than
214           <literal>m ()</literal> is used in a <literal>do</literal>
215           block, but its result is not bound.
216           The flags <literal>-fwarn-unused-do-bind</literal>
217           and <literal>-fwarn-wrong-do-bind</literal> control
218           these warnings (see <xref linkend="options-sanity" />).
219         </para>
220       </listitem>
221
222       <listitem>
223         <para>
224           The new flag <literal>-fwarn-dodgy-exports</literal> controls
225           whether an error is given for exporting a type synonym as
226           <literal>T(..)</literal>.
227         </para>
228       </listitem>
229
230       <listitem>
231         <para>
232           Name shadowing warnings are no longer given for variable names
233           beginning with an underscore.
234         </para>
235       </listitem>
236
237       <listitem>
238         <para>
239           When <literal>-Werror</literal> is given, we now pass
240           <literal>-Werror</literal> to <literal>cpp</literal>.
241         </para>
242       </listitem>
243     </itemizedlist>
244   </sect2>
245
246   <sect2>
247     <title>Runtime system</title>
248
249     <para>The following options are all described in
250       <xref linkend="rts-options-gc" />.</para>
251
252     <itemizedlist>
253       <listitem>
254         <para>
255           The flag <literal>+RTS -N</literal> now automatically
256           determines how many threads to use, based on the number
257           of CPUs in your machine.
258         </para>
259       </listitem>
260
261       <listitem>
262         <para>
263           The parallel GC now uses the same threads as the mutator,
264           with the consequence that you can no longer select a
265           different number of threads to use for GC.
266           The <option>-g<replaceable>n</replaceable></option> RTS
267           option has been removed, except that <option>-g1</option> is
268           still accepted for backwards compatibility.
269         </para>
270
271         <para>
272           The new flag
273           <literal>+RTS -qg<replaceable>gen</replaceable></literal> sets
274           the minimum generation for which parallel garbage collection
275           is used.  Defaults to 1.  The flag <literal>-qg</literal> on
276           its own disables parallel GC.
277         </para>
278       </listitem>
279
280       <listitem>
281         <para>
282           The new flag <literal>+RTS -qb<replaceable>gen</replaceable></literal>
283           controls load balancing in the parallel GC.
284         </para>
285       </listitem>
286
287       <listitem>
288         <para>
289           The new flag <literal>+RTS -qa</literal>
290           uses the OS to set thread affinity (experimental).
291         </para>
292       </listitem>
293
294       <listitem>
295         <para>
296           If you link with the <literal>-eventlog</literal> flag, then
297           the new flag <literal>+RTS -l</literal> generates
298           <literal><replaceable>prog</replaceable>.eventlog</literal>
299           files, which tools such as ThreadScope can use to show the
300           behaviour of your program (see <xref linkend="rts-eventlog" />). The
301           <literal>+RTS -D><replaceable>x</replaceable></literal> output
302           is also sent to the eventlog file if this option is enabled.
303           The <literal>+RTS -v</literal> flag sends eventlog data to
304           stderr instead.
305         </para>
306       </listitem>
307
308       <listitem>
309         <para>
310           There is a new statistic in the <literal>+RTS -s</literal> output:
311         </para>
312 <programlisting>
313 SPARKS: 1430 (2 converted, 1427 pruned)
314 </programlisting>
315         <para>
316           This tells you how many sparks (requests for parallel
317           execution, caused by calls to <literal>par</literal>) were
318           created, how many were actually evaluated in parallel
319           (converted), and how many were found to be already evaluated
320           and were thus discarded (pruned). Any unaccounted for sparks
321           are simply discarded at the end of evaluation.
322         </para>
323       </listitem>
324     </itemizedlist>
325   </sect2>
326
327   <sect2>
328     <title>Build system</title>
329     <itemizedlist>
330       <listitem>
331         <para>
332           We now require GHC >= 6.8 to build.
333         </para>
334       </listitem>
335
336       <listitem>
337         <para>
338           We now require that gcc is >= 3.0.
339         </para>
340       </listitem>
341
342       <listitem>
343         <para>
344           In order to generate the parsers, happy >= 1.16 is now
345           required. The parsers are pre-generated in the source tarball,
346           so most users will not need Happy.
347         </para>
348       </listitem>
349
350       <listitem>
351         <para>
352           It is now possible to build GHC with a simple, BSD-licensed
353           Haskell implementation of Integer, instead of the
354           implementation on top of GMP. To do so, set
355           <literal>INTEGER_LIBRARY</literal> to
356           <literal>integer-simple</literal> in
357           <literal>mk/build.mk</literal>.
358         </para>
359       </listitem>
360
361       <listitem>
362         <para>
363           The build system has been rewritten for the 6.12 series.
364           See <ulink url="http://hackage.haskell.org/trac/ghc/wiki/Building/Using">the building guide</ulink>
365           for more information.
366         </para>
367       </listitem>
368
369       <listitem>
370         <para>
371           The build system now uses variables like
372           <literal>bindir</literal> compatibly with the GNU standard.
373         </para>
374       </listitem>
375     </itemizedlist>
376   </sect2>
377
378   <sect2>
379     <title>Compiler</title>
380     <itemizedlist>
381       <listitem>
382         <para>
383           The "Interface file version" field of the
384           <literal>ghc --info</literal> output has been removed, as it
385           is no longer used by GHC.
386         </para>
387       </listitem>
388
389       <listitem>
390         <para>
391           There is a new "LibDir" field in the
392           <literal>ghc --info</literal> output.
393         </para>
394       </listitem>
395
396       <listitem>
397         <para>
398           A field <replaceable>f</replaceable> in the
399           <literal>ghc --info</literal> can now be printed with
400           <literal>ghc --print-<replaceable>f</replaceable></literal>, with letters lower-cased
401           and spaces replaced by dashes.
402         </para>
403       </listitem>
404
405       <listitem>
406         <para>
407           GHC now works (as a 32bit application) on OS X Snow Leopard.
408         </para>
409       </listitem>
410
411       <listitem>
412         <para>
413           The native code generator now works on Sparc Solaris.
414         </para>
415       </listitem>
416
417       <listitem>
418         <para>
419           Haddock interface files are now portable between different
420           architectures.
421         </para>
422       </listitem>
423
424       <listitem>
425         <para>
426           The new linker flag <literal>-eventlog</literal> enables the
427           <literal>+RTS -l</literal> event logging features. The
428           <literal>-debug</literal> flag also enables them.
429         </para>
430       </listitem>
431
432       <listitem>
433         <para>
434           There is a new flag <literal>-feager-blackholing</literal>
435           which typically gives better performing code when running
436           with multiple threads.
437           See <xref linkend="parallel-compile-options" /> for more
438           information.
439         </para>
440       </listitem>
441
442       <listitem>
443         <para>
444           There is a new flag <literal>-fbuilding-cabal-package</literal>
445           which signals to GHC that it is being run by a build system,
446           rather than invoked directly. This currently means that GHC
447           gives different error messages in certain situations.
448         </para>
449       </listitem>
450
451       <listitem>
452         <para>
453           The following flags were static, but are now dynamic:
454           <literal>-fext-core</literal>,
455           <literal>-fauto-sccs-on-all-toplevs</literal>,
456           <literal>-auto-all</literal>,
457           <literal>-no-auto-all</literal>,
458           <literal>-fauto-sccs-on-exported-toplevs</literal>,
459           <literal>-auto</literal>,
460           <literal>-no-auto</literal>,
461           <literal>-fauto-sccs-on-individual-cafs</literal>,
462           <literal>-caf-all</literal> and
463           <literal>-no-caf-all</literal>.
464         </para>
465       </listitem>
466     </itemizedlist>
467   </sect2>
468
469   <sect2>
470     <title>GHCi</title>
471     <itemizedlist>
472       <listitem>
473         <para>
474           If the argument to <literal>:set prompt</literal> starts with
475           a double quote then it is read with Haskell String syntax,
476           e.g.:
477         </para>
478 <programlisting>
479 Prelude> :set prompt "Loaded: %s\n> "
480 Loaded: Prelude
481
482 </programlisting>
483       </listitem>
484
485       <listitem>
486         <para>
487           The arguments to <literal>:set set</literal>
488           and <literal>:set show</literal> can now be tab completed.
489         </para>
490       </listitem>
491
492       <listitem>
493         <para>
494           We inherit some benefits from an upgraded version of haskeline:
495         </para>
496           <itemizedlist>
497             <listitem>
498               <para>
499                 A multitude of new emacs and vi commands.
500               </para>
501             </listitem>
502
503             <listitem>
504               <para>
505                 New preference 'historyDuplicates' to prevent storage
506                 of duplicate lines.
507               </para>
508             </listitem>
509
510             <listitem>
511               <para>
512                 Support PageUp and PageDown keys.
513               </para>
514             </listitem>
515           </itemizedlist>
516       </listitem>
517     </itemizedlist>
518   </sect2>
519
520   <sect2>
521     <title>Template Haskell</title>
522     <itemizedlist>
523       <listitem>
524         <para>
525           You can now omit the splice notation for top-level declaration
526           splices, e.g.:
527         </para>
528 <programlisting>
529 data T = T1 | T2
530 deriveMyStuff ''T
531 </programlisting>
532       </listitem>
533
534       <listitem>
535         <para>
536           Splices are now nestable, e.g. you can say
537           <literal>f x = $(g $(h 'x))</literal>.
538         </para>
539       </listitem>
540
541       <listitem>
542         <para>
543           It is now possible to splice in types.
544         </para>
545       </listitem>
546     </itemizedlist>
547   </sect2>
548
549   <sect2>
550     <title>Package Handling</title>
551     <itemizedlist>
552       <listitem>
553         <para>
554           Shared libraries are now supported on x86 and x86_64 Linux.
555           To use shared libraries, use the <literal>-dynamic</literal>
556           flag.
557           See <xref linkend="using-shared-libs" />  for more information.
558         </para>
559       </listitem>
560
561       <listitem>
562         <para>
563           The new <literal>-fno-shared-implib</literal> flag can be used
564           to stop GHC generating the <literal>.lib</literal> import
565           library when making a dynamic library. This reduces the disk
566           space used when you do not need it.
567         </para>
568       </listitem>
569
570       <listitem>
571         <para>
572           Packages can now be identified by a "package ID", which is
573           based on a hash of the ABIs. The new flag
574           <literal>-package-id</literal> allows packages to be
575           selected by this identifier (see <xref linkend="package-ids"
576           />).  Package IDs enable GHC to detect potential
577           incompatibilities between packages and broken dependencies
578           much more accurately than before.
579         </para>
580       </listitem>
581
582       <listitem>
583         <para>
584           The new flag <literal>--abi-hash</literal>, used thus:
585         </para>
586 <programlisting>
587 ghc --abi-hash M1 M2 ...
588 </programlisting>
589         <para>
590           prints the combined hash of all the modules listed. It is
591           used to make package IDs.
592         </para>
593       </listitem>
594
595       <listitem>
596         <para>
597           You can now give <literal>ghc-pkg</literal> a
598           <literal>-v0</literal> flag to make it be silent,
599           <literal>-v1</literal> for normal verbosity (the default),
600           or <literal>-v2</literal> or <literal>-v</literal> for
601           verbose output.
602         </para>
603       </listitem>
604
605       <listitem>
606         <para>
607           Rather than being a single <literal>package.conf</literal> file,
608           package databases now consist of a directory containing one
609           file per package, and a binary cache of the information.
610           GHC should be much faster to start up when the package
611           database grows large.
612         </para>
613       </listitem>
614
615       <listitem>
616         <para>
617           There is a new command <literal>ghc-pkg init</literal> to
618           create a package database.
619         </para>
620       </listitem>
621
622       <listitem>
623         <para>
624           There is a new command <literal>ghc-pkg dot</literal> to
625           generate a GraphViz graph of the dependencies between
626           installed packages.
627         </para>
628       </listitem>
629
630       <listitem>
631         <para>
632           There is a new command <literal>ghc-pkg recache</literal> to
633           update the package database cache should it become out of
634           date, or for registering packages manually.
635         </para>
636       </listitem>
637     </itemizedlist>
638   </sect2>
639
640   <sect2> 
641     <title>Libraries</title>
642
643     <para>
644       GHC no longer comes with any extralibs; instead, the
645       <ulink url="http://hackage.haskell.org/platformi/">Haskell Platform</ulink>
646       will provide a consistent set of additional libraries.
647     </para>
648
649     <sect3>
650       <title>array</title>
651       <itemizedlist>
652         <listitem>
653           <para>
654             Version number 0.3.0.0 (was 0.2.0.0)
655           </para>
656         </listitem>
657
658         <listitem>
659           <para>
660             The <literal>Data.Array.Diff</literal> module has been moved
661             to its own package.
662           </para>
663         </listitem>
664       </itemizedlist>
665     </sect3>
666
667     <sect3>
668       <title>base</title>
669       <itemizedlist>
670         <listitem>
671           <para>
672             Version number 4.2.0.0 (was 4.1.0.0)
673           </para>
674         </listitem>
675
676         <listitem>
677           <para>
678             We also ship a base version 3.0.3.2 (was 3.0.3.1), so legacy
679             code should continue to work. This package is now deprecated,
680             and will be removed in a future version of GHC.
681           </para>
682         </listitem>
683
684         <listitem>
685           <para>
686             Handle IO now supports automatic character set encoding
687             and newline translation. For more information, see the
688             "Unicode encoding/decoding" and "Newline conversion" sections
689             in the <literal>System.IO</literal> haddock docs.
690           </para>
691         </listitem>
692
693         <listitem>
694           <para>
695             Lazy I/O now throws an exception if an error is
696             encountered, in a divergence from the Haskell 98 spec which
697             requires that errors are discarded (see Section 21.2.2 of
698             the Haskell 98 report).  The exception thrown is the usual
699             IO exception that would be thrown if the failing IO
700             operation was performed in the IO monad, and can be caught
701             by <literal>System.IO.Error.catch</literal>
702             or <literal>Control.Exception.catch</literal>.
703           </para>
704         </listitem>
705
706         <listitem>
707           <para>
708             It is now possible to create your own handles.
709             For more information, see the
710             <literal>GHC.IO.Handle</literal> haddock docs.
711           </para>
712         </listitem>
713
714         <listitem>
715           <para>
716             <literal>System.IO</literal> now exports two new functions,
717             <literal>openTempFileWithDefaultPermissions</literal> and
718             <literal>openBinaryTempFileWithDefaultPermissions</literal>.
719           </para>
720         </listitem>
721
722         <listitem>
723           <para>
724             <literal>Data.Fixed</literal> now provides
725             <literal>Data</literal> and <literal>Typeable</literal>
726             instances for <literal>Fixed</literal>, and exports
727             a number of new types:
728             <literal>E0</literal>, <literal>Uni</literal>,
729             <literal>E1</literal>, <literal>Deci</literal>,
730             <literal>E2</literal>, <literal>Centi</literal>,
731             <literal>E3</literal>, <literal>Milli</literal>,
732             <literal>E9</literal> and <literal>Nano</literal>.
733           </para>
734         </listitem>
735
736         <listitem>
737           <para>
738             In <literal>Control.Exception</literal>,
739             <literal>BlockedOnDeadMVar</literal>
740             has been renamed to
741             <literal>BlockedIndefinitelyOnMVar</literal>
742             and <literal>BlockedIndefinitely</literal>
743             has been renamed to
744             <literal>BlockedIndefinitelyOnSTM</literal>.
745           </para>
746         </listitem>
747
748         <listitem>
749           <para>
750             The <literal>Control.OldException</literal> module has been
751             deprecated.
752           </para>
753         </listitem>
754
755         <listitem>
756           <para>
757             <literal>System.Posix.Internals.setNonBlockingFD</literal>
758             now takes an additional <literal>Bool</literal> argument, so
759             you can turn blocking back on again.
760           </para>
761         </listitem>
762
763         <listitem>
764           <para>
765             A new function <literal>eof</literal> has been added to
766             <literal>Text.ParserCombinators.ReadP</literal>.
767           </para>
768         </listitem>
769
770         <listitem>
771           <para>
772             The <literal>Foreign.C.Types.CLDouble</literal> type has
773             been removed. It was never correct, but just a duplicate of
774             <literal>Foreign.C.Types.CDouble</literal>.
775           </para>
776         </listitem>
777
778         <listitem>
779           <para>
780             In <literal>Data.Data</literal>, the
781             <literal>StringRep</literal> and
782             <literal>StringConstr</literal> constructors have been
783             removed. The <literal>CharRep</literal> and
784             <literal>CharConstr</literal> constructors should be used
785             instead.
786           </para>
787         </listitem>
788
789         <listitem>
790           <para>
791             In <literal>Data.Data</literal>,
792             <literal>mkIntConstr</literal> has been deprecated in favour
793             of the new <literal>mkIntegralConstr</literal>.
794           </para>
795         </listitem>
796
797         <listitem>
798           <para>
799             In <literal>Data.Data</literal>,
800             <literal>mkFloatConstr</literal> has been deprecated in
801             favour of the new <literal>mkRealConstr</literal>.
802           </para>
803         </listitem>
804
805         <listitem>
806           <para>
807             In <literal>Data.Data</literal>,
808             <literal>mkNorepType</literal> has been deprecated in
809             favour of the new <literal>mkNoRepType</literal>.
810           </para>
811         </listitem>
812       </itemizedlist>
813     </sect3>
814
815     <sect3>
816       <title>bytestring</title>
817       <itemizedlist>
818         <listitem>
819           <para>
820             Version number 0.9.1.5 (was 0.9.1.4)
821           </para>
822         </listitem>
823       </itemizedlist>
824     </sect3>
825
826     <sect3>
827       <title>Cabal</title>
828       <itemizedlist>
829         <listitem>
830           <para>
831             Version number 1.8.0.0 (was 1.6.0.3)
832           </para>
833         </listitem>
834
835         <listitem>
836           <para>
837             Many API changes. See the Cabal docs for more information.
838           </para>
839         </listitem>
840       </itemizedlist>
841     </sect3>
842
843     <sect3>
844       <title>containers</title>
845       <itemizedlist>
846         <listitem>
847           <para>
848             Version number 0.3.0.0 (was 0.2.0.1)
849           </para>
850         </listitem>
851
852         <listitem>
853           <para>
854             <literal>mapAccumRWithKey</literal> has been added to
855             <literal>Data.IntMap</literal>.
856           </para>
857         </listitem>
858
859         <listitem>
860           <para>
861             A <literal>Traversable</literal> instance has been added to
862             <literal>Data.IntMap.IntMap</literal>.
863           </para>
864         </listitem>
865
866         <listitem>
867           <para>
868             The types of <literal>Data.IntMap.intersectionWith</literal>
869             and <literal>Data.IntMap.intersectionWithKey</literal> have
870             been changed from
871         </para>
872 <programlisting>
873 intersectionWith :: (a -> b -> a) -> IntMap a -> IntMap b -> IntMap a
874 intersectionWithKey :: (Key -> a -> b -> a) -> IntMap a -> IntMap b -> IntMap a
875 </programlisting>
876         <para>
877             to
878         </para>
879 <programlisting>
880 intersectionWith :: (a -> b -> c) -> IntMap a -> IntMap b -> IntMap c
881 intersectionWithKey :: (Key -> a -> b -> c) -> IntMap a -> IntMap b -> IntMap c
882 </programlisting>
883         </listitem>
884
885         <listitem>
886           <para>
887             The types of <literal>Data.IntMap.findMin</literal>
888             and <literal>Data.IntMap.findMax</literal> have
889             been changed from
890         </para>
891 <programlisting>
892 findMin :: IntMap a -> a
893 findMax :: IntMap a -> a
894 </programlisting>
895         <para>
896             to
897         </para>
898 <programlisting>
899 findMin :: IntMap a -> (Int,a)
900 findMax :: IntMap a -> (Int,a)
901 </programlisting>
902         </listitem>
903
904         <listitem>
905           <para>
906             <literal>Data.Map</literal> now exports
907             <literal>mapAccumRWithKey</literal>,
908             <literal>foldrWithKey</literal>,
909             <literal>foldlWithKey</literal> and
910             <literal>toDescList</literal>.
911           </para>
912         </listitem>
913
914         <listitem>
915           <para>
916             <literal>Data.Sequence</literal> now exports
917             <literal>replicate</literal>,
918             <literal>replicateA</literal>,
919             <literal>replicateM</literal>,
920             <literal>iterateN</literal>,
921             <literal>unfoldr</literal>,
922             <literal>unfoldl</literal>,
923             <literal>scanl</literal>,
924             <literal>scanl1</literal>,
925             <literal>scanr</literal>,
926             <literal>scanr1</literal>,
927             <literal>tails</literal>,
928             <literal>inits</literal>,
929             <literal>takeWhileL</literal>,
930             <literal>takeWhileR</literal>,
931             <literal>dropWhileL</literal>,
932             <literal>dropWhileR</literal>,
933             <literal>spanl</literal>,
934             <literal>spanr</literal>,
935             <literal>breakl</literal>,
936             <literal>breakr</literal>,
937             <literal>partition</literal>,
938             <literal>filter</literal>,
939             <literal>sort</literal>,
940             <literal>sortBy</literal>,
941             <literal>unstableSort</literal>,
942             <literal>unstableSortBy</literal>,
943             <literal>elemIndexL</literal>,
944             <literal>elemIndicesL</literal>,
945             <literal>elemIndexR</literal>,
946             <literal>elemIndicesR</literal>,
947             <literal>findIndexL</literal>,
948             <literal>findIndicesL</literal>,
949             <literal>findIndexR</literal>,
950             <literal>findIndicesR</literal>,
951             <literal>foldlWithIndex</literal>,
952             <literal>foldrWithIndex</literal>,
953             <literal>mapWithIndex</literal>,
954             <literal>zip</literal>,
955             <literal>zipWith</literal>,
956             <literal>zip3</literal>,
957             <literal>zipWith3</literal>,
958             <literal>zip4</literal> and
959             <literal>zipWith4</literal>.
960           </para>
961         </listitem>
962       </itemizedlist>
963     </sect3>
964
965     <sect3>
966       <title>directory</title>
967       <itemizedlist>
968         <listitem>
969           <para>
970             Version number 1.0.1.0 (was 1.0.0.3)
971           </para>
972         </listitem>
973
974         <listitem>
975           <para>
976             A new function <literal>copyPermissions</literal> has been
977             added to <literal>System.Directory</literal>.
978           </para>
979         </listitem>
980       </itemizedlist>
981     </sect3>
982
983     <sect3>
984       <title>
985         dph
986         (dph-base, dph-par, dph-prim-interface, dph-prim-par,
987         dph-prim-seq, dph-seq)
988       </title>
989       <itemizedlist>
990         <listitem>
991           <para>
992             All the dph packages are version 0.4.0.
993           </para>
994         </listitem>
995       </itemizedlist>
996     </sect3>
997
998     <sect3>
999       <title>extensible-exceptions</title>
1000       <itemizedlist>
1001         <listitem>
1002           <para>
1003             Version number 0.1.1.1 (was 0.1.1.0)
1004           </para>
1005         </listitem>
1006       </itemizedlist>
1007     </sect3>
1008
1009     <sect3>
1010       <title>filepath</title>
1011       <itemizedlist>
1012         <listitem>
1013           <para>
1014             Version number 1.1.0.3 (was 1.1.0.2)
1015           </para>
1016         </listitem>
1017
1018         <listitem>
1019           <para>
1020             The list of characters that are invalid in filenames on
1021             Windows now includes <literal>\</literal> (backslash).
1022           </para>
1023         </listitem>
1024       </itemizedlist>
1025     </sect3>
1026
1027     <sect3>
1028       <title>ghc-binary</title>
1029       <itemizedlist>
1030         <listitem>
1031           <para>
1032             This is an internal package, and should not be used.
1033           </para>
1034         </listitem>
1035       </itemizedlist>
1036     </sect3>
1037
1038     <sect3>
1039       <title>ghc-prim</title>
1040       <itemizedlist>
1041         <listitem>
1042           <para>
1043             Version number 0.2.0.0 (was 0.1.0.0)
1044           </para>
1045         </listitem>
1046       </itemizedlist>
1047     </sect3>
1048
1049     <sect3>
1050       <title>haskell98</title>
1051       <itemizedlist>
1052         <listitem>
1053           <para>
1054             Version number 1.0.1.1 (was 1.0.1.0)
1055           </para>
1056         </listitem>
1057       </itemizedlist>
1058     </sect3>
1059
1060     <sect3>
1061       <title>hpc</title>
1062       <itemizedlist>
1063         <listitem>
1064           <para>
1065             Version number 0.5.0.4 (was 0.5.0.3)
1066           </para>
1067         </listitem>
1068       </itemizedlist>
1069     </sect3>
1070
1071     <sect3>
1072       <title>integer-gmp</title>
1073       <itemizedlist>
1074         <listitem>
1075           <para>
1076             Version number 0.2.0.0 (was called integer, version 0.1.0.1)
1077           </para>
1078         </listitem>
1079       </itemizedlist>
1080     </sect3>
1081
1082     <sect3>
1083       <title>integer-simple</title>
1084       <itemizedlist>
1085         <listitem>
1086           <para>
1087             This is a new boot package, version 0.1.0.0.
1088           </para>
1089         </listitem>
1090       </itemizedlist>
1091     </sect3>
1092
1093     <sect3>
1094       <title>old-locale</title>
1095       <itemizedlist>
1096         <listitem>
1097           <para>
1098             Version number 1.0.0.2 (was 1.0.0.1)
1099           </para>
1100         </listitem>
1101
1102         <listitem>
1103           <para>
1104             Date and time in ISO8601 format are now separated by
1105             <literal>T</literal> rather than a space.
1106           </para>
1107         </listitem>
1108       </itemizedlist>
1109     </sect3>
1110
1111     <sect3>
1112       <title>old-time</title>
1113       <itemizedlist>
1114         <listitem>
1115           <para>
1116             Version number 1.0.0.3 (was 1.0.0.2)
1117           </para>
1118         </listitem>
1119       </itemizedlist>
1120     </sect3>
1121
1122     <sect3>
1123       <title>packedstring</title>
1124       <itemizedlist>
1125         <listitem>
1126           <para>
1127             This is no longer a boot package.
1128           </para>
1129         </listitem>
1130       </itemizedlist>
1131     </sect3>
1132
1133     <sect3>
1134       <title>pretty</title>
1135       <itemizedlist>
1136         <listitem>
1137           <para>
1138             Version number 1.0.1.1 (was 1.0.1.0)
1139           </para>
1140         </listitem>
1141       </itemizedlist>
1142     </sect3>
1143
1144     <sect3>
1145       <title>process</title>
1146       <itemizedlist>
1147         <listitem>
1148           <para>
1149             Version number 1.0.1.2 (was 1.0.1.1)
1150           </para>
1151         </listitem>
1152       </itemizedlist>
1153     </sect3>
1154
1155     <sect3>
1156       <title>random</title>
1157       <itemizedlist>
1158         <listitem>
1159           <para>
1160             Version number 1.0.0.2 (was 1.0.0.1)
1161           </para>
1162         </listitem>
1163       </itemizedlist>
1164     </sect3>
1165
1166     <sect3>
1167       <title>syb</title>
1168       <itemizedlist>
1169         <listitem>
1170           <para>
1171             Version number 0.1.0.2 (was 0.1.0.1)
1172           </para>
1173         </listitem>
1174       </itemizedlist>
1175     </sect3>
1176
1177     <sect3>
1178       <title>template-haskell</title>
1179       <itemizedlist>
1180         <listitem>
1181           <para>
1182             Version number 2.4.0.0 (was 2.3.0.1)
1183           </para>
1184         </listitem>
1185
1186         <listitem>
1187           <para>
1188             Support for <literal>inline</literal> and
1189             <literal>specialise</literal> pragmas has been added.
1190           </para>
1191         </listitem>
1192
1193         <listitem>
1194           <para>
1195             Support for bang patterns has been added
1196           </para>
1197         </listitem>
1198
1199         <listitem>
1200           <para>
1201             Support for kind annotations has been added
1202           </para>
1203         </listitem>
1204
1205         <listitem>
1206           <para>
1207             Support for equality constraints has been added
1208           </para>
1209         </listitem>
1210
1211         <listitem>
1212           <para>
1213             Support for type family declarations has been added
1214           </para>
1215         </listitem>
1216       </itemizedlist>
1217     </sect3>
1218
1219     <sect3>
1220       <title>time</title>
1221       <itemizedlist>
1222         <listitem>
1223           <para>
1224             This is a new boot package, version 1.1.4.
1225           </para>
1226         </listitem>
1227       </itemizedlist>
1228     </sect3>
1229
1230     <sect3>
1231       <title>unix</title>
1232       <itemizedlist>
1233         <listitem>
1234           <para>
1235             Version number 2.4.0.0 (was 2.3.2.0)
1236           </para>
1237         </listitem>
1238
1239         <listitem>
1240           <para>
1241             <literal>System.Posix.IO</literal> now exports
1242             <literal>fdReadBuf</literal> and
1243             <literal>fdWriteBuf</literal>.
1244           </para>
1245         </listitem>
1246
1247         <listitem>
1248           <para>
1249             <literal>System.Posix.Process.executeFile</literal> now
1250             returns <literal>IO a</literal> instead of
1251             <literal>IO ()</literal>.
1252           </para>
1253         </listitem>
1254       </itemizedlist>
1255     </sect3>
1256
1257     <sect3>
1258       <title>Win32</title>
1259       <itemizedlist>
1260         <listitem>
1261           <para>
1262             Version number 2.2.0.1 (was 2.2.0.0)
1263           </para>
1264         </listitem>
1265
1266         <listitem>
1267           <para>
1268             <literal>System.Win32.File</literal> now exports
1269             <literal>WIN32_FIND_DATA</literal>,
1270             <literal>FindData</literal>,
1271             <literal>getFindDataFileName</literal>,
1272             <literal>findFirstFile</literal>,
1273             <literal>findNextFile</literal> and
1274             <literal>findClose</literal>.
1275           </para>
1276         </listitem>
1277
1278         <listitem>
1279           <para>
1280             <literal>System.Win32.Info</literal> now exports
1281             <literal>getCurrentDirectory</literal>,
1282             <literal>getTemporaryDirectory</literal>,
1283             <literal>getFullPathName</literal> and
1284             <literal>searchPath</literal>.
1285           </para>
1286         </listitem>
1287
1288         <listitem>
1289           <para>
1290             <literal>System.Win32.Types</literal> now exports
1291             <literal>HRESULT</literal>.
1292           </para>
1293         </listitem>
1294
1295         <listitem>
1296           <para>
1297             There is a new module <literal>System.Win32.Shell</literal>.
1298           </para>
1299         </listitem>
1300       </itemizedlist>
1301     </sect3>
1302   </sect2>
1303 </sect1>
1304