Skip to content

Commit

Permalink
More informative exception when custom printer invokes closure from d…
Browse files Browse the repository at this point in the history
…ebuggee
  • Loading branch information
xavierleroy committed Oct 18, 2021
1 parent 611b2ac commit 57a8fd0
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion debugger/main.ml
Original file line number Diff line number Diff line change
Expand Up @@ -197,7 +197,7 @@ let speclist = [
]

let function_placeholder () =
raise Not_found
failwith "custom printer tried to invoke a function from the debuggee"

let report report_error error =
eprintf "Debugger [version %s] environment error:@ @[@;%a@]@.;"
Expand Down

0 comments on commit 57a8fd0

Please sign in to comment.