OCaml Weekly News

インストール手順

opam update
opam switch create 5.5.0~rc1

コンパイラ設定の細かい調整

opam update
opam switch create <switch_name> ocaml-variants.5.5.0~rc1+options <option_list>

opam switch create 5.5.0~rc1+flambda+nffa ocaml-variants.5.5.0~rc1+options ocaml-option-flambda ocaml-option-no-flat-float-array

最初のベータリリースからの変更点

• ランタイム修正
  
  • #14820: caml_ba_alloc は自身が割り当てたメモリを考慮しなければなりません。 data=NULL の CAML_BA_SUBARRAY（5.2 で導入）は、Gc が割り当てを 0 バイトとして計上してしまい、最終的に OOM を引き起こす可能性があります。この条件はコンパイラ自体では発生しませんが、既存の bigarray と同じ形状の新しい bigarray を作成しようとする外部 C バインディングで発生します。後方互換性のため、data が NULL の場合は CAML_BA_SUBARRAY を無視します。 (Edwin Török、Damien Doligez によるレビュー)
  • …, +#14722: ランタイム、ephemeron の孤立化における修正 (Gabriel Scherer、Olivier Nicole および Damien Doligez によるレビュー、 Jan Midtgaard による報告)
• 標準ライブラリ修正
  
  • #14853, CVE-2026-41083, OSEC-2026-05: Windows 上で Filename.quote_command に渡されるファイル名のクォート処理を修正。 (David Allsopp、Andrew Nesbitt による報告、Florian Angeletti によるレビュー)
  • …, +#14715: POSIX スレッドセーフな getgrnam_r、getgrgid_r、 getpwnam_r、getpwuid_r、gmtime_r、localtime_r、getlogin_r を使用し、mktime の エラーチェックを修正。 (Antonin Décimo、Florian Angeletti、David Allsopp、Stefan Muenzel、 Gabriel Scherer、および Miod Vallat によるレビュー)
• コンパイラユーザーインターフェース修正
  
  • #14702: 非表示ディレクトリのファイルが可視ロードパステーブルに漏れ出る問題を修正。 非表示ディレクトリにベース名が既に存在するファイルが含まれている場合、そのファイルが誤って可視テーブルに追加される可能性がありました。 (Hugo Heuzard、Florian Angeletti によるレビュー)
• Compilerlibs 修正
  
  • #14797: パッケージ型に付加された属性を表面構文でプリティプリントする際に 属性が欠落する問題を回避。 (Chet Murthy、Nicolás Ojeda Bär によるレビュー)
• 設定修正
  
  • #14484: Windows 8/Server 2012 Windows ヘッダー SDK サポートを要求するために _WIN32_WINNT を設定。 (Antonin Décimo、David Allsopp によるレビュー)
  • #14760, #14802, #14846: configure における引数デフォルト値の検出を修正し、 site-config パッケージがインストールされた OpenSUSE 上で opam を通じて OCaml をインストールする際の 誤ったエラーメッセージを修正。 (David Allsopp、Edwin Török による報告およびレビュー)
• ドキュメント修正
  
  • #14684, #14782, #14838: ocamlc および ocamlopt のマニュアルページを改善し、 マニュアルの細かい問題を修正。 (Samuel Hym、Florian Angeletti、Antonin Décimo、Gabriel Scherer および Nicolás Ojeda Bär によるレビュー)
• 内部修正
  
  • …, +#14550: not-root 組み込み ocamltest アクションを追加。これにより、 現在のユーザーが root（スーパーユーザー）の場合に失敗するテストをスキップできます。 (Kate Deplaix、Gabriel Scherer、Nicolás Ojeda Bär、および Antonin Décimo によるレビュー)

インストール手順

opam update
opam switch create 4.14.4

OCaml 4.14.4 の変更点（2026年6月15日）

• ビルドシステム:
  
  • #12372, #14572: OpenBSD >= 7.3 向けにリンカへ -no-execute-only オプションを渡し、 クロージャのマーシャリングに必要なコードセクションが読み取り可能なままになるようにします。 元々は 4.14.2 でバックポートされましたが、OCaml ランタイムライブラリの .so バージョンをリンクする際や .cmxs ファイルをリンクする際にフラグが誤って渡されていませんでした。 (Xavier Leroy および Anil Madhavapeddy、Anil Madhavapeddy および Sébastien Hinderer によるレビュー)
• バグ修正:
  
  • #14599, #14606: ARM64 プラットフォームで、ocamlopt が一部の命令のサイズを過小評価していました。 これにより相対分岐オフセットのオーバーフローが発生し、アセンブラからエラーとして報告される可能性がありました。 (Xavier Leroy、Vincent Laviron によるレビュー、Raphaël Proust による報告)
  • #14607: Risc-V での libasmrun_shared.so とのリンクを修正（riscv.o で宣言された未定義シンボル） (David Allsopp、Nicolás Ojeda Bär によるレビュー)
  • #14661: pthreads フラグで dllthreads.so をビルド（#13018 で削除されていた）。 通常のプログラムでは意味的な違いはありません（ocamlrun と ocamlc.opt は常に pthreads でリンクされているため）が、 dllthreads.so を dlopen したいプログラムが自身で pthreads をリンクすることを要求するのは退行でした。 (David Allsopp、Gabriel Scherer によるレビュー)
  • #14655, #14691, CVE-2026-34353, OSEC-2026-04: caml_ba_reshape におけるサイズオーバーフローのチェック (Stephen Dolan、Xavier Leroy によるレビュー)
  • #14853, CVE-2026-41083, OSEC-2026-05: Windows 上で Filename.quote_command に渡されるファイル名のクォート処理を修正。 (David Allsopp、Andrew Nesbitt による報告、Florian Angeletti によるレビュー)

  [^1]: OCaml 5.5.0 のリリースは今週後半に予定されています。