Hello and happy new year, Beside the ideal type inference of exception (availaible in several papers, in particular this one: https://www.researchgate.net/publication/269201496_Type-Based_Analysis_of_Uncaught_Exceptions ), I think a few simple things could help the programmer: getting the comple…

See Poor man's static exception analysis with alerts

have you heard about reanalyze ?

The numerous library I use (not that numerous, but quite a few) are not decorated.

The 5.3 support isn’t released yet but it will work with OCaml 5.2. If you really want to use 5.3 you can try using reanalyze#203 but i have no idea if it works fully: opam pin git+https://github.com/rescript-lang/reanalyze#ocaml-5-3 --ignore-constraints-on ocaml

I badly read the constraints generated by opam and thought it needed ocaml < 4.13… I could without problem test with 5.2. Thanks.

Ameliorations for exception in OCaml

Ecosystem

craff January 20, 2025, 1:42am 4

I dit find reanalyze, but I can not install it with recent ocaml. My code is ocaml 5 only

Topic		Replies	Views
Poor man's static exception analysis with alerts Learning	21	2083	June 1, 2024
What is the modern way for analyzing/inspecting/fine-tuning an OCaml program? Ecosystem testing , debugging , ocamldebug , static-analysis	0	726	May 5, 2020
[BLOG] OCaml Backtraces on Uncaught Exceptions, by OCamlPro Learning blog , ocaml , exceptions , backtrace	13	1023	May 23, 2024
Why not place exn in function signature? Learning	9	2579	April 15, 2018
[WATCH] OCaml behind the scenes: Exception Training video , runtime	1	1068	September 29, 2023

Ameliorations for exception in OCaml

Related topics