<listitem>
<para>
+ The type checker has been overhauled, which means it is now
+ able to correctly handle interactions between the type system
+ extensions.
+ </para>
+ </listitem>
+
+ <listitem>
+ <para>
The inliner has been overhauled, which should in general
give better performance while reducing unnecessary code-size
explosion.
<itemizedlist>
<listitem>
<para>
- Version number 1.9.2 (was 1.8.0.6)
+ Version number 1.10.0.0 (was 1.8.0.6)
</para>
</listitem>