caml-list - the Caml user's mailing list
 help / Atom feed
From: Josh Berdine <>
Subject: Re: [Caml-list] Introspection of functions with Utop
Date: Mon, 27 Apr 2020 17:11:29 +0100
Message-ID: <> (raw)
In-Reply-To: <>

> On Apr 25, 2020, at 2:37 PM, Basile Starynkevitch <> wrote:
>> On 4/25/20 3:12 PM, Alan Schmitt wrote:
>>> On 2020-04-25 08:43, Malcolm Matalka <> 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.
> 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 leaves the impression that it is at least as much about upstream receptiveness as about resources.

      reply index

Thread overview: 7+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2020-04-21 11:41 orbifx
2020-04-21 14:09 ` Ali M.
2020-04-24 16:05   ` orbifx
2020-04-25  6:43     ` Malcolm Matalka
2020-04-25 13:20       ` Alan Schmitt
2020-04-25 13:37         ` Basile Starynkevitch
2020-04-27 16:12           ` Josh Berdine [this message]

Reply instructions:

You may reply publically to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \ \ \ \

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror

AGPL code for this site: git clone public-inbox