Re: [Caml-list] Introspection of functions with Utop

[Josh Berdine <josh@berdine.net>]

> On Apr 25, 2020, at 2:37 PM, Basile Starynkevitch <basile@starynkevitch.net> wrote:
>> On 4/25/20 3:12 PM, Alan Schmitt wrote:
>>> On 2020-04-25 08:43, Malcolm Matalka <mmatalka@gmail.com> writes:
>> 
>>> What's the answer??
>>> 
>> There is no way to print the code of the function. It is compiled to
>> bytecode by the toplevel and added to the current environment.
>> 
> 
> Unless (on Linux/x86-64 at least) you compile the code with the -g debugging option.
> 
> Adventurous developers could even couple that with Ian Taylor's libbacktrace library. I leave them to check license compatibility with their lawyers.
> 
> https://github.com/ianlancetaylor/libbacktrace
> 
> The real issue is of course funding, as usual. DWARF support in Ocaml needs improvement.

Note that in the particular case of DWARF support, my reading of the "Improved DWARF and GDB support" section of https://blog.janestreet.com/a-look-at-ocaml-4.08/ leaves the impression that it is at least as much about upstream receptiveness as about resources.