I did try that docker-file and found it quite useful in my test program. I was then wondering if this would be in 4.07 which was what all this fuss was about. I do want to try/test the GPR. However, I believe the GPR currently has some merge conflicts + other dependent GPRs which hasn’t been merged into trunk yet. I definitely am not yet competent enough to resolve those conflicts and even less comment/review on the technical nature of the GPR.
My specific use case for ‘dynload debugging’ arose out of my attempt to resolve ‘ppx_deriving’ issues,
and
‘ppx_deriving’ uses ocaml dynload feature to load ‘deriving’ plugins. I tried in vain to use ocamldebug to trace through the program data/flow but gave up after a few late evenings. I then tried gdb after @jeremiedimino’s gentle and helpful instructions. But I found ocaml native debugging in gdb quite limited at the moment. No expression evaluation, no variable value printing, no go back and forth etc.
Indeed, I came to the same conclusion regarding ‘ppx_deriving’, i.e. linking the derivers statically together into one binary. However, that would probably be a risky, and big change to the codebase. The issue is closed now but I did post my findings to the issue.
Believe you me, I come from a position of love, respect and appreciation of the contribution you and others have made to the ocaml ecosystem. If it annoyed you, my sincere apologies. I meant no malice only warm and best wishes.
I don’t think anyone is accusing you of malice. Just a slight lack of consideration of how your requests can feel to those whose work you’re interested in. Also I didn’t intend to single you out with my earlier comment – I get a lot of messages like that and I just happened to decide to respond to your one. (It was probably the use of the word “vote” which happens to be an idea that tends to particularly annoy me).