I would like to invoke Toploop.use_input with a source code string that is extracted from, say, a.ml, line 100. Using Toploop.String _ as its input, however, obscures the source code location because it does not have this ("a.ml", 100) information.
This makes Printexc.record_backtrace true virtually print unusable information.
How can I call toploop with the extra source code location?
Did you try preceding your code with a line number directive, eg #100 "a.ml" ?
Cheers,
Nicolas
1 Like
Wasn’t aware of it. Thanks a lot 