Skip to content

Commit d4c14ee

Browse files
committed
Register exn printer for Errors.Error _
1 parent 22f29ed commit d4c14ee

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)