Skip to content

Commit 4d1e17e

Browse files
authored
Merge pull request #1335 from hra687261/print_errors
Register exn printer for (Errors.Error _)
2 parents 22f29ed + d4c14ee commit 4d1e17e

File tree

1 file changed

+8
-0
lines changed

1 file changed

+8
-0
lines changed

src/lib/structures/errors.ml

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -134,3 +134,11 @@ let report fmt = function
134134
report_mode_error merr;
135135
| Model_error err ->
136136
Fmt.pf fmt "Model Error: %a" report_model_error err
137+
138+
let () =
139+
Printexc.register_printer (
140+
function
141+
| Error e ->
142+
Some (Fmt.str "%a" report e)
143+
| _ -> None
144+
)

0 commit comments

Comments
 (0)