Skip to content

Register exn printer for Errors.Error _#1335

Merged
hra687261 merged 1 commit intoOCamlPro:nextfrom
hra687261:print_errors
Oct 21, 2025
Merged

Register exn printer for Errors.Error _#1335
hra687261 merged 1 commit intoOCamlPro:nextfrom
hra687261:print_errors

Commits

Commits on Oct 20, 2025