Open jordwalke opened 8 years ago
this may be useful:
external reraise : exn -> 'a = "%reraise"
it will keep stacktrace
Thank you, Bob!
(lowpri) To refine this github issue: I think we want to reraise the exception if it's not a parse error, but do what we currently do if it is a parse error.
There's a main
try
block inrefmt_impl.ml
that does the following: