Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
please add an option to enable debug symbols only #6238
Original bug ID: 6238
Comment author: @gasche
While I think this is a reasonable feature, I think that in the long term the way to go is rather to provide more control to performance-conscious users of which raises will trigger backtrace recording (eg. the raise-variants work of Alain). Indeed, there should be a sweet spot where most exceptions used for control flow do not record any trace, only actually exceptional exceptions do, and you have a system that is both efficient (essentially as the no-trace one) and auditable in case of unplanned failure (a good reason to have some backtraces even in production). I can understand people disabling everything for absolute performances (and right now it's probably easier to implement), but long-term I think that's more of a minority use-case.
Of course if someone is ready to do the work, that's great in any case.
Comment author: @alainfrisch
Have you seen cases where keeping multiple call sites for caml_ml_array_bound_error yields a noticeable performance penalty?
Since the request is to have a mode with maximal runtime performance (while keeping debugging information), I don't think that bytecode is relevant.