Record that TH doesn't support pattern types signature
[ghc-hetmet.git] / docs / users_guide / 6.6-notes.xml
1 <?xml version="1.0" encoding="iso-8859-1"?>
2 <sect1 id="release-6-6">
3   <title>Release notes for version 6.6</title>
4
5   <sect2>
6     <title>User-visible compiler changes</title>
7     <itemizedlist>
8       <listitem>
9         <para>
10           GHC now supports SMP:
11           when you compile with <option>-threaded</option>, you now get
12           an RTS flag <option>-N</option> that allows you to specify the
13           number of OS threads that GHC should use. Defaults to 1.
14           See <xref linkend="sec-using-smp" /> and <xref
15           linkend="lang-parallel" />.
16         </para>
17       </listitem>
18       <listitem>
19         <para>
20           GHC's modules are now also bundled into a
21           <literal>ghc</literal> package, allowing programs to make use
22           of GHC as a library. The interface has not yet been properly
23           designed, so is subject to change.
24         </para>
25       </listitem>
26       <listitem>
27         <para>
28           GHC now handles impredicative polymorphism and there are
29           changes to the way scoped type variables work; see
30           <ulink url="http://www.haskell.org/pipermail/glasgow-haskell-users/2006-January/009565.html"> Simon's e-mail</ulink>
31           for more details.
32         </para>
33       </listitem>
34       <listitem>
35         <para>
36           GHC now supports bang patterns to require a function is strict
37           in a given argument, e.g.
38           <programlisting>
39     f (!x, y) = [x,y]</programlisting>
40           is equivalent to
41           <programlisting>
42     f (x, y) | x `seq` False = undefined
43              | otherwise = [x,y]</programlisting>
44         </para>
45       </listitem>
46       <listitem>
47         <para>
48           The restriction that you cannot use two packages together if
49           they contain a module with the same name has been removed.
50           In implementation terms, the package name is now included in
51           every exported symbol name in the object file, so that
52           modules with the same name in different packages do not
53           clash.  See <xref linkend="package-overlaps" />.
54         </para>
55       </listitem>
56       <listitem>
57         <para>
58           GHC now treats source files as UTF-8 (ASCII is a strict
59           subset of UTF-8, so ASCII source files will continue to
60           work as before). However, invalid UTF-8 sequences are
61           ignored in comments, so ASCII code with comments in, for
62           example, Latin-1 will also work.
63         </para>
64       </listitem>
65       <listitem>
66         <para>
67           GADTs can now use record syntax. Also, if the datatype could
68           have been declared with Haskell 98 syntax then deriving
69           clauses are permitted. For more info see <xref linkend="gadt" />.
70         </para>
71       </listitem>
72       <listitem>
73         <para>
74           There is a new pragma <literal>LANGUAGE</literal> which allows
75           extensions to be specified portably, i.e. without having to
76           resort to the <literal>OPTIONS_GHC</literal> pragma and giving
77           GHC-specific options. The arguments to the pragma are the same
78           extensions that Cabal knows about. More info in
79           <xref linkend="language-pragma" />.
80         </para>
81       </listitem>
82       <listitem>
83         <para>
84           When you use <command>ghc --make</command>, GHC will now take
85           the executable filename from the name of the file containing
86           the <literal>Main</literal> module rather than using
87           <filename>a.out</filename>. The <filename>.exe</filename>
88           extension is appended on Windows, and it can of course be
89           overridden with <option>-o</option>.
90         </para>
91       </listitem>
92       <listitem>
93         <para>
94           GHC's garbage collector now deals more intelligently with
95           mutable data, so you mostly no longer need to worry about GC
96           performance when a lot of memory is taken up by
97           <literal>STArray</literal>s, <literal>IOArray</literal>s,
98           <literal>STRef</literal>s or <literal>IORef</literal>s.
99         </para>
100       </listitem>
101       <listitem>
102         <para>
103           GHC now allows more generalisation when typing mutually
104           recursive bindings, resulting in more programs being accepted.
105           See <xref linkend="typing-binds" /> for more details.
106         </para>
107       </listitem>
108       <listitem>
109         <para>
110           The rules for instance declarations have been further relaxed.
111           You are now permitted to have instances whose heads contain
112           only type variables, e.g.
113           <programlisting>
114     instance C a</programlisting>
115           and instances whose constraints are not only type variables,
116           e.g.
117           <programlisting>
118     instance C2 Int a => C3 [a] b</programlisting>
119           For more details, see <xref linkend="instance-rules" />.
120         </para>
121       </listitem>
122       <listitem>
123         <para>
124             The following flags (and, where appropriate, their inverses)
125             used to be static (can only be given on
126             the command line) but are now dynamic (can also be given in
127             a <literal>GHC_OPTIONS</literal> pragma or with
128             <literal>:set</literal> in GHCi):
129             <option>-c</option>,
130             <option>-hcsuf</option>,
131             <option>-hidir</option>,
132             <option>-hisuf</option>,
133             <option>-o</option>,
134             <option>-odir</option>,
135             <option>-ohi</option>,
136             <option>-osuf</option>,
137             <option>-keep-hc-file</option>,
138             <option>-keep-s-file</option>,
139             <option>-keep-raw-s-file</option>,
140             <option>-keep-tmp-files</option>,
141             <option>-tmpdir</option>,
142             <option>-i</option>,
143             <option>-package</option>,
144             <option>-hide-package</option>,
145             <option>-ignore-package</option>,
146             <option>-package-conf</option>,
147             <option>-no-user-package-conf</option>,
148             <option>-fcontext-stack</option>,
149             <option>-fexcess-precision</option>,
150             <option>-fignore-asserts</option>,
151             <option>-fignore-interface-pragmas</option>,
152             <option>-I</option>,
153             <option>-framework</option>,
154             <option>-framework-path</option>,
155             <option>-l</option>,
156             <option>-L</option>,
157             <option>-main-is</option>,
158             <option>-no-hs-main</option>,
159             <option>-split-objs</option>,
160             <option>-pgmL</option>,
161             <option>-pgmP</option>,
162             <option>-pgmc</option>,
163             <option>-pgma</option>,
164             <option>-pgml</option>,
165             <option>-pgmdll</option>,
166             <option>-pgmdep</option>,
167             <option>-pgmF</option>,
168             <option>-optl</option>,
169             <option>-optdll</option>,
170             <option>-optdep</option>,
171             <option>-fno-asm-mangling</option>.
172             See <xref linkend="static-dynamic-flags" /> for more on
173             the meaning of static and dynamic flags, and
174             <xref linkend="flag-reference" /> for more on the flags
175             themselves.
176         </para>
177       </listitem>
178       <listitem>
179         <para>
180           There is a new flag <option>-x</option> for overriding the
181           default behaviour for source files; see
182           <xref linkend="overriding-suffixes" /> details.
183         </para>
184       </listitem>
185       <listitem>
186         <para>
187           The <option>-fglobalise-toplev-names</option>
188           flag has been removed.
189         </para>
190       </listitem>
191       <listitem>
192         <para>
193           The <option>-fallow-overlapping-instances</option> flag is
194           implied by the <option>-fallow-incoherent-instances</option>
195           flag.
196         </para>
197       </listitem>
198       <listitem>
199         <para>
200           The directory that the <filename>foo_stub.c</filename> and
201           <filename>foo_stub.h</filename> files are put in can now be
202           controlled with the <option>-stubdir</option> flag.
203           See <xref linkend="options-output" /> for more details.
204         </para>
205       </listitem>
206       <listitem>
207         <para>
208           When the <option>-fno-implicit-prelude</option> is given,
209           the equality test performed when pattern matching against an
210           overloaded numeric literal now uses the
211           <literal>(==)</literal> in scope, rather than the one from
212           <literal>Prelude</literal>. Likewise, the subtraction and
213           inequality test performed when pattern matching against
214           <literal>n+k</literal> patterns uses the
215           <literal>(-)</literal> and <literal>(>=)</literal> in scope.
216         </para>
217       </listitem>
218       <listitem>
219         <para>
220           Another change to <option>-fno-implicit-prelude</option>:
221           with the exception of the arrow syntax, the types of
222           functions used by sugar (such as do notation, numeric
223           literal patterns) need not match the types of the
224           <literal>Prelude</literal> functions normally used.
225         </para>
226       </listitem>
227       <listitem>
228         <para>
229           The <literal>InstalledPackageInfo</literal> syntax has
230           changed. Now
231           instead of <literal>extra-libs</literal> we have
232           <literal>extra-libraries</literal>,
233           instead of <literal>extra-hugs-opts</literal> we have
234           <literal>hugs-options</literal>,
235           instead of <literal>extra-cc-opts</literal> we have
236           <literal>cc-options</literal>,
237           instead of <literal>extra-ld-opts</literal> we have
238           <literal>ld-options</literal>,
239           and instead of <literal>extra-frameworks</literal> we have
240           <literal>frameworks</literal>.
241           See <xref linkend="installed-pkg-info" /> for details.
242         </para>
243       </listitem>
244       <listitem>
245         <para>
246           If you <literal>newtype</literal> the IO monad, e.g.
247           <programlisting>
248     newtype MyIO a = MyIO (IO a)</programlisting>
249           then GHC will now allow you to have FFI calls return
250           <literal>MyIO <replaceable>t</replaceable></literal>
251           rather than just
252           <literal>IO <replaceable>t</replaceable></literal>.
253           See <xref linkend="ffi-newtype-io"/>
254         </para>
255       </listitem>
256       <listitem> <para> GHC's mechansim for deriving user-defined classes
257           for newtypes has been further generalised, to multi-parameter type
258           classes and higher-kinded types.  See <xref
259           linkend="newtype-deriving"/>.
260           </para></listitem>
261       <listitem>
262         <para>
263           By default, pattern bindings in GHC are now monomorphic.
264           This means that some valid Haskell 98 programs will get
265           rejected, but we believe they will be few in number.
266           To revert to the old behaviour use the
267           <option>-fno-mono-pat-binds</option> flag.
268           More details are in <xref linkend="options-language" />.
269         </para>
270       </listitem>
271       <listitem>
272         <para>
273           GHCi already does more defaulting than Haskell 98 so that, for
274           example, <literal>reverse []</literal> shows a result rather
275           than giving an ambiguous type variable error. There is now a
276           flag <option>-fextended-default-rules</option> to use these
277           defaulting rules with GHC too.
278           More details are in <xref linkend="extended-default-rules" />.
279         </para>
280       </listitem>
281       <listitem>
282         <para>
283           You can now give both class and instance declarations in
284           <filename>.hs-boot</filename> files. More details in
285           <xref linkend="mutual-recursion" />.
286         </para>
287       </listitem>
288       <listitem>
289         <para>
290           Linear implicit parameters have been scheduled for removal for some
291           time.  In 6.6 we've removed them from the user manual, and they may
292           well disappear from the compiler itself in 6.6.1.
293         </para>
294       </listitem>
295       <listitem>
296         <para>
297           It is now possible, with the <literal>-I</literal> RTS flag,
298           to control the amount of idle time that happens before a major
299           GC is performed.
300         </para>
301       </listitem>
302       <listitem>
303         <para>
304           The old syntax for FFI declarations (deprecated since 5.04)
305           is no longer accepted.
306         </para>
307       </listitem>
308       <listitem>
309         <para>
310           The <option>-split-objs</option> flag can now be used with
311           <option>--make</option>, and hence can be used by cabal.
312         </para>
313       </listitem>
314       <listitem>
315         <para>
316           Template Haskell used to have limited support for type signatures in 
317           patterns, but since that design is in flux for Haskell (let alone
318           Template Haskell), we've removed type signatures in patterns from
319           Template Haskell.
320         </para>
321       </listitem>
322     </itemizedlist>
323   </sect2>
324
325   <sect2>
326     <title>GHCi changes</title>
327
328     <itemizedlist>
329       <listitem>
330         <para>
331           GHCi now allows tab completion of in-scope names and modules
332           on platforms that use readline (i.e. not Windows).
333         </para>
334       </listitem>
335       <listitem>
336         <para>
337           GHCi now has a <literal>:main</literal> command that allows
338           you to call the <literal>main</literal> function with
339           command-line arguments.
340           See <xref linkend="ghci-commands" /> for more information.
341         </para>
342       </listitem>
343       <listitem>
344         <para>
345           GHCi now has <literal>:ctags</literal> and
346           <literal>:etags</literal> commands to generate tags files for
347           vi-style and emacs-style editors respectively.
348           See <xref linkend="ghci-commands" /> for more information.
349         </para>
350       </listitem>
351     </itemizedlist>
352   </sect2>
353
354   <sect2>
355     <title>Libraries</title>
356     <para>
357       Libraries are now divided into core libraries (those that are
358       necessary to build GHC) and extra libraries. Decoupling the extra
359       libraries means that they can release independently of GHC
360       releases, and makes development builds of GHC quicker as they no
361       longer need to build unnecessary libraries.
362     </para>
363
364     <para>
365       The hslibs libraries have finally been removed.
366     </para>
367   </sect2>
368
369   <sect2>
370     <title>Core Libraries</title>
371     <sect3>
372       <title>base</title>
373       <itemizedlist>
374         <listitem>
375           <para>
376             Version number 2.0 (was 1.0).
377           </para>
378         </listitem>
379         <listitem>
380           <para>
381             We now have <literal>Read</literal> and
382             <literal>Show</literal> instances for up to 15-tuples (used
383             to be up to 5-tuples).
384           </para>
385         </listitem>
386         <listitem>
387           <para>
388             New module <literal>Control.Applicative</literal> that
389             describes a structure intermediate between a functor and
390             a monad: it provides pure expressions and sequencing, but
391             no binding.
392           </para>
393         </listitem>
394         <listitem>
395           <para>
396             <literal>Control.Exception</literal> now exports
397             <literal>bracketOnError</literal>, which behaves like
398             <literal>bracket</literal> but only runs the final
399             action if the main action raised an error.
400           </para>
401         </listitem>
402         <listitem>
403           <para>
404             There is a new module
405             <literal>Control.Monad.Instances</literal> which
406             provides <literal>Monad</literal> and
407             <literal>Functor</literal> instances for
408             <literal>((->) r)</literal> (were in
409             <literal>mtl</literal>'s
410             <literal>Control.Monad.Reader</literal>), 
411             a <literal>Functor</literal> instance for
412             <literal>(Either a)</literal> (was in <literal>mtl</literal>'s
413             <literal>Control.Monad.Error</literal>) and a
414             <literal>Functor</literal> instance for
415             <literal>((,) a)</literal> (new).
416           </para>
417         </listitem>
418         <listitem>
419           <para>
420             The <literal>MonadFix</literal> instance for
421             <literal>((->) r)</literal> is now in
422             <literal>Control.Monad.Fix</literal> (was in
423             <literal>mtl</literal>'s
424             <literal>Control.Monad.Reader</literal>).
425           </para>
426         </listitem>
427         <listitem>
428           <para>
429             <literal>Control.Monad.ST</literal> now exports
430             <literal>unsafeSTToIO</literal>.
431           </para>
432         </listitem>
433         <listitem>
434           <para>
435             The <literal>HasBounds</literal> class has been removed from
436             <literal>Data.Array.Base</literal>, and its
437             <literal>bounds</literal> method is now in the
438             <literal>IArray</literal> class. The
439             <literal>MArray</literal> class
440             has also gained a method <literal>getBounds</literal>.
441           </para>
442         </listitem>
443         <listitem>
444           <para>
445             <literal>Data.Array.Base</literal> now provides an
446             <literal>MArray (STArray s) e (Lazy.ST s)</literal>
447             instance.
448           </para>
449         </listitem>
450         <listitem>
451           <para>
452             <literal>Data.Array.Storable</literal> now exports a
453             function <literal>unsafeForeignPtrToStorableArray</literal>.
454           </para>
455         </listitem>
456         <listitem>
457           <para>
458             The new <literal>Data.ByteString</literal> hierarchy
459             provides time and space-efficient byte vectors.
460             The old <literal>Data.PackedString</literal> module is now
461             deprecated as a result, although there is not yet a
462             replacement if you need full unicode support.
463           </para>
464         </listitem>
465         <listitem>
466           <para>
467             <literal>GHC.Exts</literal> now provides a function
468             <literal>inline</literal> which, provided the RHS is visible
469             to the compiler, forcibly inlines its argument.
470             Otherwise, it acts like <literal>id</literal>.
471           </para>
472         </listitem>
473         <listitem>
474           <para>
475             <literal>GHC.Exts</literal> now provides a function
476             <literal>lazy</literal> which forces GHC to think that its
477             argument is lazy in its first argument.
478           </para>
479         </listitem>
480         <listitem>
481           <para>
482             <literal>Data.FiniteMap</literal> has been removed
483             (deprecated since 6.4). Use <literal>Data.Map</literal>
484             instead.
485           </para>
486         </listitem>
487         <listitem>
488           <para>
489             <literal>Data.Char</literal> now exports
490             <literal>isLetter</literal>,
491             <literal>isMark</literal>,
492             <literal>isNumber</literal>,
493             <literal>isPunctuation</literal>,
494             <literal>isSymbol</literal>,
495             <literal>isSeparator</literal>,
496             <literal>isAsciiUpper</literal>,
497             <literal>isAsciiLower</literal> and
498             <literal>toTitle</literal>.
499             It also exports a function
500             <literal>generalCategory</literal> that tells you the
501             category of a character in terms of a datatype
502             <literal>GeneralCategory</literal>.
503           </para>
504         </listitem>
505         <listitem>
506           <para>
507             <literal>Data.Dynamic</literal> now exports a function
508             <literal>dynTypeRep</literal>.
509           </para>
510         </listitem>
511         <listitem>
512           <para>
513             There is a new module <literal>Data.Eq</literal> which
514             just exports the <literal>Eq</literal> class.
515             Likewise, a new module <literal>Data.Ord</literal>
516             exports the <literal>Ord</literal> class, as well as the
517             handy <literal>comparing</literal> function.
518           </para>
519         </listitem>
520         <listitem>
521           <para>
522             There is a new module <literal>Data.Fixed</literal>
523             providing fixed-precision arithmetic.
524           </para>
525         </listitem>
526         <listitem>
527           <para>
528             There is a new module <literal>Data.Foldable</literal>
529             providing a class for foldable datatypes. It gives instances
530             for <literal>Maybe</literal>, <literal>[]</literal> and
531             <literal>Array i</literal>.
532           </para>
533         </listitem>
534         <listitem>
535           <para>
536             There is a new module <literal>Data.Traversable</literal>
537             providing a class for data structures that can be traversed
538             from left to right. It gives instances
539             for <literal>Maybe</literal>, <literal>[]</literal> and
540             <literal>Array i</literal>.
541           </para>
542         </listitem>
543         <listitem>
544           <para>
545             <literal>Data.FunctorM</literal> has been deprecated;
546             use <literal>Data.Foldable</literal> and
547             <literal>Data.Traversable</literal> instead.
548           </para>
549         </listitem>
550         <listitem>
551           <para>
552             The <literal>toConstr</literal> definitions for tuples in
553             <literal>Data.Generics.Instances</literal> now actually
554             evaluate their arguments to tuples before returning
555             anything.
556           </para>
557         </listitem>
558         <listitem>
559           <para>
560             <literal>Data.IntMap</literal> now exports
561             <literal>notMember</literal>,
562             <literal>alter</literal>,
563             <literal>mapMaybe</literal>,
564             <literal>mapMaybeWithKey</literal>,
565             <literal>mapEither</literal> and
566             <literal>mapEitherWithKey</literal>.
567             It also has <literal>Monoid</literal>,
568             <literal>Foldable</literal> and <literal>Read</literal>
569             instances.
570           </para>
571         </listitem>
572         <listitem>
573           <para>
574             <literal>Data.IntSet</literal> now exports
575             <literal>notMember</literal>. It also has
576             <literal>Monoid</literal> and <literal>Read</literal>
577             instances.
578           </para>
579         </listitem>
580         <listitem>
581           <para>
582             <literal>Data.Map</literal> now exports
583             <literal>notMember</literal>,
584             <literal>alter</literal>,
585             <literal>mapMaybe</literal>,
586             <literal>mapMaybeWithKey</literal>,
587             <literal>mapEither</literal>,
588             <literal>mapEitherWithKey</literal>,
589             <literal>minView</literal> and
590             <literal>maxView</literal>.
591             It also has <literal>Monoid</literal>,
592             <literal>Traversable</literal>, <literal>Foldable</literal>
593             and <literal>Read</literal> instances.
594           </para>
595         </listitem>
596         <listitem>
597           <para>
598             <literal>Data.Set</literal> now exports
599             <literal>notMember</literal>,
600             <literal>minView</literal> and
601             <literal>maxView</literal>.
602             It also has <literal>Monoid</literal>,
603             <literal>Foldable</literal>
604             and <literal>Read</literal> instances.
605           </para>
606
607           <para>
608             The old, deprecated (since 6.4) interface consisting of
609             <literal>emptySet</literal>,
610             <literal>mkSet</literal>,
611             <literal>setToList</literal>,
612             <literal>unitSet</literal>,
613             <literal>elementOf</literal>,
614             <literal>isEmptySet</literal>,
615             <literal>cardinality</literal>,
616             <literal>unionManySets</literal>,
617             <literal>minusSet</literal>,
618             <literal>mapSet</literal>,
619             <literal>intersect</literal>,
620             <literal>addToSet</literal> and
621             <literal>delFromSet</literal> has been removed.
622           </para>
623         </listitem>
624         <listitem>
625           <para>
626             <literal>Data.Monoid</literal> no longer contains the
627             <literal>Monoid</literal>
628             instances for <literal>Map</literal>,
629             <literal>IntMap</literal>, <literal>Set</literal> and
630             <literal>IntSet</literal>. They have been moved to their own
631             modules, as above. The <literal>(a -> a)</literal> instance
632             has been replaced with a
633             <literal>Monoid b => Monoid (a -> b)</literal> instance.
634             The module also now exports
635             <literal>Dual</literal>,
636             <literal>Endo</literal>,
637             <literal>All</literal>,
638             <literal>Any</literal>,
639             <literal>Sum</literal> and
640             <literal>Product</literal> types, and
641             <literal>Monoid</literal> instances for them.
642           </para>
643         </listitem>
644         <listitem>
645           <para>
646             There is a new module <literal>Data.Sequence</literal>
647             for finite sequences. The <literal>Data.Queue</literal>
648             module is now deprecated in favour of this faster, more
649             featureful replacement.
650           </para>
651         </listitem>
652         <listitem>
653           <para>
654             <literal>Data.Tree</literal> now has
655             <literal>Data</literal>, <literal>Typeable</literal>,
656             <literal>Traversable</literal> and
657             <literal>Foldable</literal>
658             instances for the
659             <literal>Tree</literal> datatype.
660           </para>
661         </listitem>
662         <listitem>
663           <para>
664             <literal>Data.Typeable</literal> now uses
665             <option>-fallow-overlapping-instances</option>, so the
666             generic instances can be overriden for your own datatypes.
667           </para>
668         </listitem>
669         <listitem>
670           <para>
671             <literal>Debug.Trace</literal> now exports
672             <literal>traceShow</literal>, which is the same as
673             <literal>trace</literal> except its first argument can be
674             any showable thing rather than being required to be a
675             string.
676           </para>
677         </listitem>
678         <listitem>
679           <para>
680             <literal>Foreign.C.Types</literal> now also defines
681             <literal>CIntPtr</literal>,
682             <literal>CUIntPtr</literal>,
683             <literal>CIntMax</literal> and
684             <literal>CUIntMax</literal>.
685           </para>
686         </listitem>
687         <listitem>
688           <para>
689             <literal>Foreign.ForeignPtr</literal> now exports
690             <literal>FinalizerEnvPtr</literal>,
691             <literal>newForeignPtrEnv</literal> and
692             <literal>addForeignPtrFinalizerEnv</literal>.
693             Together, these allow the use of finalizers which are passed
694             an additional environment parameter.
695           </para>
696         </listitem>
697         <listitem>
698           <para>
699             <literal>Foreign.Marshal.Utils</literal> no longer exports
700             the <literal>withObject</literal> function, deprecated since
701             5.04; use <literal>with</literal> instead.
702           </para>
703         </listitem>
704         <listitem>
705           <para>
706             Foreign.Ptr now also defines
707             <literal>IntPtr</literal>,
708             <literal>ptrToIntPtr</literal>,
709             <literal>intPtrToPtr</literal>,
710             <literal>WordPtr</literal>,
711             <literal>ptrToWordPtr</literal> and
712             <literal>wordPtrToPtr</literal>.
713           </para>
714         </listitem>
715         <listitem>
716           <para>
717             There are now <literal>Bounded</literal> instances for up to
718             15-tuples (used to be up to 4-tuples).
719           </para>
720         </listitem>
721         <listitem>
722           <para>
723             The <literal>Text.Html</literal> and
724             <literal>Text.Html.BlockTable</literal> modules have now
725             been removed, with the new <literal>html</literal> and
726             <literal>xhtml</literal> packages providing replacements.
727           </para>
728         </listitem>
729         <listitem>
730           <para>
731             <literal>Text.Read</literal> now exports a function
732             <literal>parens</literal> which parses a value in an
733             arbitrary number of parentheses.
734           </para>
735         </listitem>
736         <listitem>
737           <para>
738             The <literal>ForeignPtr</literal> datatype has been altered
739             to make it more efficient. There are also new functions
740             <literal>mallocPlainForeignPtr</literal> and
741             <literal>mallocPlainForeignPtrBytes</literal> which
742             do not allow you to attach a finalizer to the
743             <literal>ForeignPtr</literal>.
744           </para>
745         </listitem>
746         <listitem>
747           <para>
748             The <literal>Text.Regex</literal> and
749             <literal>Text.Regex.Posix</literal> modules have been removed.
750             Instead, use the new <literal>regex-compat</literal> package
751             for a drop-in <literal>Text.Regex</literal> replacement, or
752             the new library in the new <literal>regex-posix</literal>
753             package.
754           </para>
755         </listitem>
756       </itemizedlist>
757     </sect3>
758
759     <sect3>
760       <title>Cabal</title>
761       <itemizedlist>
762         <listitem>
763           <para>
764             Version number 1.1.5 (was 1.1.4).
765           </para>
766         </listitem>
767         <listitem>
768           <para>
769             Support for JHC, symmetric to the support for the other
770             implementations, has been added throughout.
771           </para>
772         </listitem>
773         <listitem>
774           <para>
775             Support for object splitting and building in-place
776             has been added throughout.
777           </para>
778         </listitem>
779         <listitem>
780           <para>
781             Added a <filename>debianTemplate</filename> directory with
782             templates for building Debian packages from Cabal packages.
783           </para>
784         </listitem>
785         <listitem>
786           <para>
787             Added <filename>cabal-setup</filename>, a user interface to
788             building and installing Cabal packages.
789           </para>
790         </listitem>
791         <listitem>
792           <para>
793             Added <filename>cabal-install</filename>, an automated
794             installer for cabal packages.
795           </para>
796         </listitem>
797         <listitem>
798           <para>
799             There is now a <literal>Network.Hackage</literal> hierarchy
800             for code needed by hackage, the package server.
801           </para>
802         </listitem>
803         <listitem>
804           <para>
805             There are now modules
806             <literal>Distribution.Simple.<replaceable>compiler</replaceable></literal>
807             for each of <literal>GHC</literal>, <literal>NHC</literal>,
808             <literal>Hugs</literal> and <literal>JHC</literal>.
809             The <literal>Distribution.Simple.Build</literal> and
810             <literal>Distribution.Simple.Install</literal> modules have
811             shrunk correspondingly.
812           </para>
813         </listitem>
814         <listitem>
815           <para>
816             <literal>Distribution.GetOpt</literal> is no longer a
817             visible module.
818           </para>
819         </listitem>
820         <listitem>
821           <para>
822             <literal>Distribution.Simple</literal> exports a function
823             <literal>defaultMainArgs</literal>, which is identical to
824             <literal>defaultMain</literal> except that the arguments are
825             given as a list of strings rather than being retrieved with
826             <literal>getArgs</literal>.
827           </para>
828         </listitem>
829         <listitem>
830           <para>
831             <literal>Distribution.Simple.Configure</literal>
832             no longer exports
833             <literal>LocalBuildInfo</literal>,
834             but does now export
835             <literal>configDependency</literal> and
836             <literal>configCompilerAux</literal>.
837           </para>
838         </listitem>
839         <listitem>
840           <para>
841             <literal>Distribution.Simple.LocalBuildInfo</literal> now
842             exports <literal>mkHaddockDir</literal>,
843             <literal>distPref</literal>,
844             <literal>srcPref</literal>,
845             <literal>autogenModulesDir</literal> and
846             <literal>mkIncludeDir</literal>.
847           </para>
848         </listitem>
849         <listitem>
850           <para>
851             <literal>Distribution.PackageDescription</literal> now
852             exports <literal>haddockName</literal>.
853           </para>
854         </listitem>
855         <listitem>
856           <para>
857             <literal>Distribution.Simple.Utils</literal> now exports
858             <literal>copyDirectoryRecursiveVerbose</literal>,
859             <literal>dirOf</literal>,
860             <literal>distPref</literal>,
861             <literal>haddockPref</literal> and
862             <literal>srcPref</literal>.
863             It no longer exports <literal>mkGHCiLibName</literal>.
864           </para>
865         </listitem>
866       </itemizedlist>
867     </sect3>
868
869     <sect3>
870       <title>haskell98</title>
871       <itemizedlist>
872         <listitem>
873           <para>
874             No change (version 1.0).
875           </para>
876         </listitem>
877       </itemizedlist>
878     </sect3>
879
880     <sect3>
881       <title>parsec</title>
882       <itemizedlist>
883         <listitem>
884           <para>
885             Version number 2.0 (was 1.0).
886           </para>
887         </listitem>
888         <listitem>
889           <para>
890             No other change.
891           </para>
892         </listitem>
893       </itemizedlist>
894     </sect3>
895
896     <sect3>
897       <title>readline</title>
898       <itemizedlist>
899         <listitem>
900           <para>
901             No change (version 1.0).
902           </para>
903         </listitem>
904       </itemizedlist>
905     </sect3>
906
907     <sect3>
908       <title>regex-base</title>
909       <itemizedlist>
910         <listitem>
911           <para>
912             Version 0.71.
913           </para>
914         </listitem>
915         <listitem>
916           <para>
917             New library that provides common functions for different
918             regex backends.
919           </para>
920         </listitem>
921       </itemizedlist>
922     </sect3>
923
924     <sect3>
925       <title>regex-compat</title>
926       <itemizedlist>
927         <listitem>
928           <para>
929             Version 0.71.
930           </para>
931         </listitem>
932         <listitem>
933           <para>
934             New package providing a replacement
935             <literal>Text.Regex</literal> module.
936           </para>
937         </listitem>
938       </itemizedlist>
939     </sect3>
940
941     <sect3>
942       <title>regex-posix</title>
943       <itemizedlist>
944         <listitem>
945           <para>
946             Version 0.71.
947           </para>
948         </listitem>
949         <listitem>
950           <para>
951             A new package providing POSIX regexes.
952           </para>
953         </listitem>
954       </itemizedlist>
955     </sect3>
956
957     <sect3>
958       <title>stm</title>
959       <itemizedlist>
960         <listitem>
961           <para>
962             Version number 2.0 (was 1.0).
963           </para>
964         </listitem>
965         <listitem>
966           <para>
967             A new module <literal>Control.Monad.STM</literal>
968             contains the
969             <literal>MonadPlus</literal> instance for
970             <literal>STM</literal> and the function
971             <literal>check</literal> (both used to be in
972             <literal>Control.Concurrent.STM</literal>).
973             It also re-exports
974             <literal>STM</literal>,
975             <literal>atomically</literal>,
976             <literal>retry</literal>,
977             <literal>orElse</literal> and
978             <literal>catchSTM</literal>.
979           </para>
980         </listitem>
981         <listitem>
982           <para>
983             A new module
984             <literal>Control.Concurrent.STM.TArray</literal> defines
985             <literal>TArray</literal>, a transactional array, and makes
986             it an instance of <literal>MArray</literal>.
987           </para>
988         </listitem>
989         <listitem>
990           <para>
991             <literal>Control.Concurrent.STM.TChan</literal> now provides
992             a function <literal>newTChanIO</literal>, which allows
993             <literal>TChan</literal>s to be created in the IO monad.
994             Similarly, <literal>Control.Concurrent.STM.TMVar</literal>
995             provides <literal>newTMVarIO</literal> and
996             <literal>newEmptyTMVarIO</literal>, and
997             <literal>Control.Concurrent.STM.TVar</literal> exports
998             <literal>newTVarIO</literal>.
999           </para>
1000         </listitem>
1001         <listitem>
1002           <para>
1003             <literal>Control.Concurrent.STM.TVar</literal> exports
1004             <literal>registerDelay</literal>.
1005           </para>
1006         </listitem>
1007         <listitem>
1008           <para>
1009             The <literal>Control.Concurrent.STM</literal> module has been
1010             updated to re-export all the new modules.
1011           </para>
1012         </listitem>
1013       </itemizedlist>
1014     </sect3>
1015
1016     <sect3>
1017       <title>template-haskell</title>
1018       <itemizedlist>
1019         <listitem>
1020           <para>
1021             Version number 2.0 (was 1.0).
1022           </para>
1023         </listitem>
1024         <listitem>
1025           <para>
1026             A <literal>Show</literal> instance is now derived for
1027             <literal>Info</literal>, <literal>Fixity</literal> and
1028             <literal>FixityDirection</literal> in
1029             <literal>Language.Haskell.TH.Syntax</literal>.
1030           </para>
1031         </listitem>
1032         <listitem>
1033           <para>
1034             In <literal>Language.Haskell.TH.Syntax</literal>, there is
1035             a type <literal>PkgName</literal> and functions
1036             <literal>mkPkgName</literal> and
1037             <literal>pkgString</literal>
1038             for dealing with package names.
1039           </para>
1040         </listitem>
1041         <listitem>
1042           <para>
1043             The <literal>patGE</literal> function in
1044             <literal>Language.Haskell.TH.Lib</literal> now takes the
1045             final expression separately to the list of statements
1046             rather than splitting it off itself.
1047           </para>
1048         </listitem>
1049       </itemizedlist>
1050     </sect3>
1051
1052     <sect3>
1053       <title>unix</title>
1054       <itemizedlist>
1055         <listitem>
1056           <para>
1057             No change (version 1.0).
1058           </para>
1059         </listitem>
1060       </itemizedlist>
1061     </sect3>
1062
1063     <sect3>
1064       <title>Win32</title>
1065       <itemizedlist>
1066         <listitem>
1067           <para>
1068             Version number 2.0 (was 1.0).
1069           </para>
1070         </listitem>
1071         <listitem>
1072           <para>
1073             Now maintained by Esa Ilari Vuokko.
1074           </para>
1075         </listitem>
1076         <listitem>
1077           <para>
1078             There is a new module
1079             <literal>System.Win32.Console</literal>
1080             providing an interface to the Windows Console API.
1081           </para>
1082         </listitem>
1083         <listitem>
1084           <para>
1085             There is a new module
1086             <literal>System.Win32.DebugApi</literal>
1087             providing an interface to the Windows DebugApi.
1088           </para>
1089         </listitem>
1090         <listitem>
1091           <para>
1092             There is a new module
1093             <literal>System.Win32.FileMapping</literal>
1094             for working with memory-mapped files.
1095           </para>
1096         </listitem>
1097         <listitem>
1098           <para>
1099             There is a new module
1100             <literal>System.Win32.SimpleMAPI</literal>
1101             for using the Windows mail API.
1102           </para>
1103         </listitem>
1104         <listitem>
1105           <para>
1106             There is a new module
1107             <literal>System.Win32.Time</literal>
1108             for using the Windows time API.
1109           </para>
1110         </listitem>
1111         <listitem>
1112           <para>
1113             <literal>iNVALID_HANDLE_VALUE</literal> has moved from
1114             <literal>Graphics.Win32.Misc</literal> to
1115             <literal>System.Win32.Types</literal>.
1116           </para>
1117         </listitem>
1118         <listitem>
1119           <para>
1120             <literal>System.Win32.File</literal> has a new
1121             function <literal>getFileInformationByHandle</literal>
1122             and associated data types.
1123           </para>
1124         </listitem>
1125         <listitem>
1126           <para>
1127             <literal>System.Win32.Info</literal> has a new
1128             function <literal>getSystemInfo</literal> and associated
1129             data types.
1130           </para>
1131         </listitem>
1132         <listitem>
1133           <para>
1134             <literal>System.Win32.Process</literal> now has many more
1135             exports.
1136           </para>
1137         </listitem>
1138         <listitem>
1139           <para>
1140             <literal>System.Win32.Types</literal> has new types
1141             <literal>LARGE_INTEGER</literal>, <literal>DDWORD</literal>
1142             and <literal>SIZE_T</literal>. It also has new helper
1143             functions <literal>ddwordToDwords</literal> and
1144             <literal>dwordsToDdword</literal> to split and combine
1145             ddwords into high and low components.
1146           </para>
1147         </listitem>
1148         <listitem>
1149           <para>
1150             <literal>System.Win32</literal> re-exports
1151             <literal>System.Win32.FileMapping</literal>,
1152             <literal>System.Win32.Time</literal>
1153             and <literal>System.Win32.Console</literal>.
1154           </para>
1155         </listitem>
1156       </itemizedlist>
1157     </sect3>
1158   </sect2>
1159
1160   <sect2>
1161     <title>Extra Libraries</title>
1162     <sect3>
1163       <title>ALUT</title>
1164       <itemizedlist>
1165         <listitem>
1166           <para>
1167             Version number 2.0 (was 1.0).
1168           </para>
1169         </listitem>
1170         <listitem>
1171           <para>
1172             <literal>Sound.ALUT.BuiltInSounds</literal> has been removed.
1173             Its <literal>Phase</literal> and <literal>Duration</literal>
1174             exports are now exported by
1175             <literal>Sound.ALUT.Loaders</literal> and its
1176             <literal>helloWorld</literal>,
1177             <literal>sine</literal>,
1178             <literal>square</literal>,
1179             <literal>sawtooth</literal>,
1180             <literal>impulse</literal> and
1181             <literal>whiteNoise</literal>
1182             exports are now constructors of the
1183             <literal>Sound.ALUT.Loaders.SoundDataSource</literal>
1184             datatype.
1185           </para>
1186         </listitem>
1187       </itemizedlist>
1188     </sect3>
1189
1190     <sect3>
1191       <title>arrows</title>
1192       <itemizedlist>
1193         <listitem>
1194           <para>
1195             Version number 0.2 (was 0.1).
1196           </para>
1197         </listitem>
1198         <listitem>
1199           <para>
1200             <literal>Control.Sequence</literal> has been removed in
1201             favour of the new <literal>Control.Applicative</literal>
1202             module in <literal>base</literal>.
1203           </para>
1204         </listitem>
1205       </itemizedlist>
1206     </sect3>
1207
1208     <sect3>
1209       <title>cgi</title>
1210       <itemizedlist>
1211         <listitem>
1212           <para>
1213             Version 2006.8.14.
1214           </para>
1215         </listitem>
1216         <listitem>
1217           <para>
1218             <literal>cgi</literal> is a new package, developing on
1219             what used to be <literal>Network.CGI</literal> in the
1220             <literal>network</literal> package.
1221           </para>
1222         </listitem>
1223       </itemizedlist>
1224     </sect3>
1225
1226     <sect3>
1227       <title>fgl</title>
1228       <itemizedlist>
1229         <listitem>
1230           <para>
1231             Version number 5.3 (was 5.2).
1232           </para>
1233         </listitem>
1234         <listitem>
1235           <para>
1236             <literal>Data.Graph.Inductive.Graph</literal> no longer
1237             exports <literal>UContext</literal>.
1238           </para>
1239         </listitem>
1240         <listitem>
1241           <para>
1242             <literal>Data.Graph.Inductive.Graph</literal> now exports
1243             <literal>delLEdge</literal>.
1244           </para>
1245         </listitem>
1246       </itemizedlist>
1247     </sect3>
1248
1249     <sect3>
1250       <title>GLUT</title>
1251       <itemizedlist>
1252         <listitem>
1253           <para>
1254             Version number remains 2.0.
1255           </para>
1256         </listitem>
1257         <listitem>
1258           <para>
1259             In <literal>Graphics.UI.GLUT.Initialization</literal>,
1260             <literal>DisplayMode</literal> has a new constructor
1261             <literal>WithAuxBuffers</literal> and
1262             <literal>DisplayCapability</literal> has a new constructor
1263             <literal>DisplayAux</literal>. These represent freeglut-only
1264             features.
1265           </para>
1266         </listitem>
1267         <listitem>
1268           <para>
1269             There are new examples in
1270             <filename>BOGLGP/Chapter03/OnYourOwn1.hs</filename>,
1271             <filename>RedBook/AAIndex.hs</filename>,
1272             <filename>RedBook/AARGB.hs</filename>,
1273             <filename>RedBook/AccAnti.hs</filename>,
1274             <filename>RedBook/AccPersp.hs</filename>,
1275             <filename>RedBook/Alpha3D.hs</filename>,
1276             <filename>RedBook/DOF.hs</filename>,
1277             <filename>RedBook/FogIndex.hs</filename>,
1278             <filename>RedBook/Multisamp.hs</filename>,
1279             <filename>RedBook/PointP.hs</filename>,
1280             <filename>RedBook/PolyOff.hs</filename>,
1281             <filename>RedBook/Stencil.hs</filename>,
1282             <filename>RedBook/Stroke.hs</filename> and
1283             <filename>RedBook/Torus.hs</filename>,
1284             and the examples in
1285             <filename>RedBook/Font.hs</filename> and
1286             <filename>RedBook/Histogram.hs</filename> have been
1287             improved.
1288           </para>
1289         </listitem>
1290       </itemizedlist>
1291     </sect3>
1292
1293     <sect3>
1294       <title>haskell-src</title>
1295       <itemizedlist>
1296         <listitem>
1297           <para>
1298             No change (version 1.0).
1299           </para>
1300         </listitem>
1301       </itemizedlist>
1302     </sect3>
1303
1304     <sect3>
1305       <title>HGL</title>
1306       <itemizedlist>
1307         <listitem>
1308           <para>
1309             No change (version 3.1).
1310           </para>
1311         </listitem>
1312       </itemizedlist>
1313     </sect3>
1314
1315     <sect3>
1316       <title>html</title>
1317       <itemizedlist>
1318         <listitem>
1319           <para>
1320             Version 1.0.
1321           </para>
1322         </listitem>
1323         <listitem>
1324           <para>
1325             <literal>html</literal> is a new package, developing on
1326             what used to be <literal>Text.Html</literal> and
1327             <literal>Text.Html.BlockTable</literal> in the
1328             <literal>base</literal> package.
1329           </para>
1330         </listitem>
1331         <listitem>
1332           <para>
1333             <literal>Text.Html.BlockTable</literal> exports a new
1334             function <literal>empty</literal>.
1335           </para>
1336         </listitem>
1337       </itemizedlist>
1338     </sect3>
1339
1340     <sect3>
1341       <title>HUnit</title>
1342       <itemizedlist>
1343         <listitem>
1344           <para>
1345             No change (version 1.1).
1346           </para>
1347         </listitem>
1348       </itemizedlist>
1349     </sect3>
1350
1351     <sect3>
1352       <title>mtl</title>
1353       <itemizedlist>
1354         <listitem>
1355           <para>
1356             No change (version 1.0).
1357           </para>
1358         </listitem>
1359       </itemizedlist>
1360     </sect3>
1361
1362     <sect3>
1363       <title>network</title>
1364       <itemizedlist>
1365         <listitem>
1366           <para>
1367             Version number 2.0 (was 1.0).
1368           </para>
1369         </listitem>
1370         <listitem>
1371           <para>
1372             <literal>Network.CGI</literal> has been removed; use the
1373             <literal>cgi</literal> package instead.
1374           </para>
1375         </listitem>
1376         <listitem>
1377           <para>
1378             <literal>Network.BSD</literal> no longer exports
1379             <literal>symlink</literal> or <literal>readlink</literal>;
1380             use
1381             <literal>System.Posix.Files.createSymbolicLink</literal> and
1382             <literal>System.Posix.Files.readSymbolicLink</literal>
1383             instead.
1384           </para>
1385         </listitem>
1386         <listitem>
1387           <para>
1388             <literal>Network.BSD</literal> now exports
1389             <literal>defaultProtocol</literal>.
1390           </para>
1391         </listitem>
1392         <listitem>
1393           <para>
1394             <literal>Network.Socket.SocketStatus</literal> now has a
1395             constructor <literal>ConvertedToHandle</literal> for sockets
1396             that have been converted to handles.
1397           </para>
1398         </listitem>
1399         <listitem>
1400           <para>
1401             <literal>Network.Socket.Family</literal> now has the
1402             following additional constructors:
1403             <literal>AF_NETROM</literal>,
1404             <literal>AF_BRIDGE</literal>,
1405             <literal>AF_ATMPVC</literal>,
1406             <literal>AF_ROSE</literal>,
1407             <literal>AF_NETBEUI</literal>,
1408             <literal>AF_SECURITY</literal>,
1409             <literal>AF_PACKET</literal>,
1410             <literal>AF_ASH</literal>,
1411             <literal>AF_ECONET</literal>,
1412             <literal>AF_ATMSVC</literal>,
1413             <literal>AF_IRDA</literal>,
1414             <literal>AF_PPPOX</literal>,
1415             <literal>AF_WANPIPE</literal> and
1416             <literal>AF_BLUETOOTH</literal>.
1417           </para>
1418         </listitem>
1419         <listitem>
1420           <para>
1421             In <literal>Network.URI</literal>,
1422             <literal>parseabsoluteURI</literal> has been deprecated with
1423             a new function <literal>parseAbsoluteURI</literal> taking
1424             its place.
1425           </para>
1426         </listitem>
1427       </itemizedlist>
1428     </sect3>
1429
1430     <sect3>
1431       <title>ObjectIO</title>
1432       <itemizedlist>
1433         <listitem>
1434           <para>
1435             No change (version 1.0).
1436           </para>
1437         </listitem>
1438       </itemizedlist>
1439     </sect3>
1440
1441     <sect3>
1442       <title>OpenAL</title>
1443       <itemizedlist>
1444         <listitem>
1445           <para>
1446             Version number 1.3 (was 1.2).
1447           </para>
1448         </listitem>
1449         <listitem>
1450           <para>
1451             No other change.
1452           </para>
1453         </listitem>
1454       </itemizedlist>
1455     </sect3>
1456
1457     <sect3>
1458       <title>OpenGL</title>
1459       <itemizedlist>
1460         <listitem>
1461           <para>
1462             Version number 2.1 (was 2.0).
1463           </para>
1464         </listitem>
1465         <listitem>
1466           <para>
1467             No other change.
1468           </para>
1469         </listitem>
1470       </itemizedlist>
1471     </sect3>
1472
1473     <sect3>
1474       <title>QuickCheck</title>
1475       <itemizedlist>
1476         <listitem>
1477           <para>
1478             No change (version 1.0).
1479           </para>
1480         </listitem>
1481       </itemizedlist>
1482     </sect3>
1483
1484     <sect3>
1485       <title>time</title>
1486       <itemizedlist>
1487         <listitem>
1488           <para>
1489             Version 1.0.
1490           </para>
1491         </listitem>
1492         <listitem>
1493           <para>
1494             <literal>time</literal> is a new package, for dealing with
1495             dates, times and time intervals.
1496           </para>
1497         </listitem>
1498       </itemizedlist>
1499     </sect3>
1500
1501     <sect3>
1502       <title>X11</title>
1503       <itemizedlist>
1504         <listitem>
1505           <para>
1506             Version number 1.2 (was 1.1).
1507           </para>
1508         </listitem>
1509         <listitem>
1510           <para>
1511             In <literal>Graphics.X11.Xlib.Types</literal>,
1512             <literal>XGCValues</literal> has been renamed
1513             <literal>GCValues</literal> and
1514             <literal>XSetWindowAttributes</literal> has been renamed
1515             <literal>SetWindowAttributes</literal>.
1516           </para>
1517         </listitem>
1518         <listitem>
1519           <para>
1520             In <literal>Graphics.X11.Xlib.Misc</literal>,
1521             <literal>allocaXSetWindowAttributes</literal> has been
1522             renamed <literal>allocaSetWindowAttributes</literal>.
1523           </para>
1524         </listitem>
1525         <listitem>
1526           <para>
1527             The <literal>FontStruct</literal> type has moved from
1528             <literal>Graphics.X11.Xlib.Types</literal> to
1529             <literal>Graphics.X11.Xlib.Font</literal>.
1530           </para>
1531         </listitem>
1532         <listitem>
1533           <para>
1534             The
1535             <literal>Point</literal>,
1536             <literal>Rectangle</literal>,
1537             <literal>Arc</literal>,
1538             <literal>Segment</literal> and
1539             <literal>Color</literal> types in
1540             <literal>Graphics.X11.Xlib.Types</literal>
1541             are now proper datatypes rather than synonyms for tuples.
1542             They all have a <literal>Storable</literal> instance.
1543           </para>
1544         </listitem>
1545         <listitem>
1546           <para>
1547             The <literal>Byte</literal> and <literal>Short</literal>
1548             types from <literal>Graphics.X11.Xlib.Types</literal> have
1549             been removed.
1550             The following type synonyms, which had already been marked
1551             &quot;Backwards compatibility&quot;, have also been removed:
1552             <literal>ListPoint</literal>,
1553             <literal>ListRectangle</literal>,
1554             <literal>ListArc</literal>,
1555             <literal>ListSegment</literal> and
1556             <literal>ListColor</literal>.
1557           </para>
1558         </listitem>
1559         <listitem>
1560           <para>
1561             <literal>Eq</literal>,
1562             <literal>Ord</literal>,
1563             <literal>Show</literal>,
1564             <literal>Typeable</literal> and
1565             <literal>Data</literal> are now derived for:
1566             <literal>XEvent</literal>,
1567             <literal>FdSet</literal> and
1568             <literal>TimeZone</literal> in
1569             <literal>Graphics.X11.Xlib.Event</literal>,
1570             <literal>FontStruct</literal> in
1571             <literal>Graphics.X11.Xlib.Font</literal>,
1572             <literal>XErrorEvent</literal>,
1573             <literal>XComposeStatus</literal> and
1574             <literal>XTextProperty</literal> in
1575             <literal>Graphics.X11.Xlib.Misc</literal>,
1576             <literal>Region</literal> in
1577             <literal>Graphics.X11.Xlib.Region</literal>,
1578             <literal>Display</literal>,
1579             <literal>Screen</literal>,
1580             <literal>Visual</literal>,
1581             <literal>GC</literal>,
1582             <literal>GCValues</literal>,
1583             <literal>SetWindowAttributes</literal>,
1584             <literal>Point</literal>,
1585             <literal>Rectangle</literal>,
1586             <literal>Arc</literal>,
1587             <literal>Segment</literal> and
1588             <literal>Color</literal> in
1589             <literal>Graphics.X11.Xlib.Types</literal>.
1590           </para>
1591         </listitem>
1592       </itemizedlist>
1593     </sect3>
1594
1595     <sect3>
1596       <title>xhtml</title>
1597       <itemizedlist>
1598         <listitem>
1599           <para>
1600             Version 2006.8.14.
1601           </para>
1602         </listitem>
1603         <listitem>
1604           <para>
1605             <literal>xhtml</literal> is a new package, developing on
1606             what used to be <literal>Text.Html</literal> and
1607             <literal>Text.Html.BlockTable</literal> in the
1608             <literal>base</literal> package.
1609           </para>
1610         </listitem>
1611       </itemizedlist>
1612     </sect3>
1613   </sect2>
1614
1615   <sect2>
1616     <title>Internal changes</title>
1617     <itemizedlist>
1618       <listitem>
1619         <para>
1620           GHC development now has its own integrated
1621           <ulink url="http://hackage.haskell.org/trac/ghc">wiki and bug
1622           tracker</ulink>.
1623         </para>
1624       </listitem>
1625       <listitem>
1626         <para>
1627           GHC has now moved to darcs. See
1628           <ulink
1629           url="http://hackage.haskell.org/trac/ghc/wiki/GhcDarcs">the
1630           wiki</ulink> for more details. The sources have moved around a
1631           bit within the tree as a result, most notably the GHC sources
1632           are no longer kept within a <filename>ghc/</filename>
1633           subdirectory.
1634         </para>
1635       </listitem>
1636       <listitem>
1637         <para>
1638           The native code generator is now capable of compiling loops,
1639           which gets us a big step closer to being able to compile
1640           entirely without gcc on well-supported arches.
1641         </para>
1642       </listitem>
1643     </itemizedlist>
1644   </sect2>
1645 </sect1>
1646