冗長性チェックと網羅性チェックの改善。冗長性チェッカーは、あるパターンで網羅されないパターンに実際にマッチする値がないか、高々1つのワイルドカードについてチェックするようになった。これは、場合分けがひとつしかない場合に、網羅性をチェックするためにも行なわれる。形で書くこともできる。このパターンは冗長性チェッカーが扱う。unbox/タグなし形式になることを指示できるように。ユーザー定義の構成子として使えるように。囲む括弧が必要になった。-0x1.ffffp+987。ように、すべてのキーワードに、短かい記法で拡張ノード/属性を付けられるように。モジュールが同一の実行形式に2回リンクされている)。これは暫定の解決策である。モジュールを2回リンクした場合のセマンティクスは危険である。ような網羅性チェックを無効化するようなパターンガードに対して、警告25(すべての節がガード付である)ではなく警告8(網羅的でない)が発せられるように。今後、警告25が発せられることはない。スタックの巻き戻しのためのメタデータ生成部分のバグを修正。コンパイラのメッセージに色がつくように。System上のLinux用ネイティブコード生成。cmxファイルが存在しないことを警告する警告58を追加。いう実行時警告か表示する。制御することができる。この変更の影響を受けるプログラムは、挙動は変化しないが、修正はすべきである。コンパイルするとき、より高度な最適化を適用する。スタブをコンパイルするときのデフォルトにも適用される。これにより、スタブのバグが顕在化する可能性もある。最悪ケースでのGCの停止時間か改善するための複数の変更。モジュールに複数の関数を追加。