</listitem>
<listitem>
<para>
- GHC's modules are now also bundled into a
- <literal>ghc</literal> package, allowing programs to make use
- of GHC as a library. The interface has not yet been properly
- designed, so is subject to change.
+ GHC now handles impredicative polymorphism; see <xref linkend="impredicative-polymorphism" />.
</para>
</listitem>
<listitem>
<para>
- GHC now handles impredicative polymorphism and there are
- changes to the way scoped type variables work; see
- <ulink url="http://www.haskell.org/pipermail/glasgow-haskell-users/2006-January/009565.html"> Simon's e-mail</ulink>
- for more details.
+ There are significant changes to the way scoped type variables work;
+ see <xref linkend="scoped-type-variables" />.
+ (<ulink url="http://www.haskell.org/pipermail/glasgow-haskell-users/2006-January/009565.html"> Simon's e-mail</ulink>
+ gives some background.)
</para>
</listitem>
<listitem>
<programlisting>
f (x, y) | x `seq` False = undefined
| otherwise = [x,y]</programlisting>
+ See <xref linkend="sec-bang-patterns" /> for more details.
</para>
</listitem>
<listitem>
performance when a lot of memory is taken up by
<literal>STArray</literal>s, <literal>IOArray</literal>s,
<literal>STRef</literal>s or <literal>IORef</literal>s.
+ For more details see
+ <ulink url="http://hackage.haskell.org/trac/ghc/ticket/650">trac bug #650</ulink>.
</para>
</listitem>
<listitem>
</listitem>
<listitem>
<para>
+ The
+ <option>-no-recomp</option><indexterm><primary><option>-no-recomp</option></primary></indexterm>
+ option is now called
+ <option>-fforce-recomp</option><indexterm><primary><option>-fforce-recomp</option></primary></indexterm>.
+ (the old name is still accepted for backwards compatibility,
+ but will be removed in the future).
+ </para>
+ </listitem>
+ <listitem>
+ <para>
The <option>-fglobalise-toplev-names</option>
flag has been removed.
</para>
</listitem>
<listitem>
<para>
- It is now possible, with the <literal>-I</literal> RTS flag,
- to control the amount of idle time that happens before a major
- GC is performed.
+ If the program is idle for a certain amount of time then GHC
+ will now take the opportunity to do a major garbage collection.
+ The amount of idle time that is required before that happens
+ is controlled by the new <literal>-I</literal> RTS flag.
+ There is more detail in <xref linkend="rts-options-gc" />.
+ </para>
+ </listitem>
+ <listitem>
+ <para>
+ It is now possible to control the frequency that the RTS clock
+ ticks at with the new <literal>-V</literal> RTS flag. This is
+ normally handled automatically by other flags, but this flag
+ is needed if you want to increase the resolution of the time
+ profiler.
+ For more details see <xref linkend="rts-options-misc" />.
</para>
</listitem>
<listitem>
</listitem>
<listitem>
<para>
- The <option>-split-objs</option> flag can now be used with
- <option>--make</option>, and hence can be used by cabal.
+ The <option>-split-objs</option> flag, which when used to compile
+ libraries means executables using the library will be smaller,
+ can now be used with <option>--make</option> and hence
+ can be used by cabal.
+ See <xref linkend="options-linker" /> for more information.
</para>
</listitem>
<listitem>
Template Haskell.
</para>
</listitem>
+ <listitem>
+ <para>
+ GHC now supports postfix operators, as a simple generalisation of
+ left sections (<xref linkend="postfix-operators"/>).
+ </para>
+ </listitem>
+ <listitem>
+ <para>
+ Parallel arrays, as enabled by <literal>-fparr</literal>, no
+ longer work. They'll be coming back shortly, in full glory.
+ </para>
+ </listitem>
</itemizedlist>
</sect2>
See <xref linkend="ghci-commands" /> for more information.
</para>
</listitem>
+ <listitem>
+ <para>
+ GHCi now invokes <literal>print</literal> by default on the
+ result of IO actions and bindings at the prompt. This is
+ occasionally not what you want, so it can be disabled (at
+ least for bindings) with
+ <literal>:set -fno-print-bind-result</literal>. See <xref
+ linkend="ghci-stmts" />.</para>
+ </listitem>
</itemizedlist>
</sect2>
<literal>inline</literal> which, provided the RHS is visible
to the compiler, forcibly inlines its argument.
Otherwise, it acts like <literal>id</literal>.
+ For more details, see <xref linkend="special-ids" />.
</para>
</listitem>
<listitem>
<literal>GHC.Exts</literal> now provides a function
<literal>lazy</literal> which forces GHC to think that its
argument is lazy in its first argument.
+ For more details, see <xref linkend="special-ids" />.
</para>
</listitem>
<listitem>
</sect2>
<sect2>
+ <title>GHC As A Library</title>
+ <para>
+ Version number 6.6.
+ </para>
+ <para>
+ The internal modules of GHC are now available as a library, package
+ name <literal>ghc</literal>.
+ The interface has not been designed with use by other programs
+ in mind, so expect the API to vary radically in future
+ releases.
+ </para>
+ <para>
+ An introduction to using the library can be found
+ <ulink url="http://haskell.org/haskellwiki/GHC/As_a_library">on the wiki</ulink>.
+ </para>
+ </sect2>
+
+ <sect2>
<title>Internal changes</title>
<itemizedlist>
<listitem>
projects / ghc-hetmet.git / blobdiff