Code

Safer file handling#1320

Code

Merged

jonludlam merged 5 commits intoocaml:masterocaml/odoc:masterfrom Julow:safe_file_handlingJulow/odoc:safe_file_handlingCopy head branch name to clipboardFeb 26, 2025

+129-163

Commits

Commits on Feb 26, 2025

• Fix unclosed open file when counting occurrences

  

  panglesd

  authored and

  Julow

  committed
  1989f82

  Copy full SHA for 1989f82

• Marshal and unmarshal safely

  Show description for 7cdb4e4
  Julow

  committed
  7cdb4e4

  Copy full SHA for 7cdb4e4

• Read and write files safely

  Show description for 34df814
  Julow

  committed
  34df814

  Copy full SHA for 34df814

• Make output channel handling more readable

  Julow

  committed
  d7d4631

  Copy full SHA for d7d4631

• Document Io_utils functions

  Julow

  committed
  21826bb

  Copy full SHA for 21826bb