From: Josh Berdine <email@example.com> To: firstname.lastname@example.org Subject: Re: [Caml-list] Introspection of functions with Utop Date: Mon, 27 Apr 2020 17:11:29 +0100 Message-ID: <1AA65D1D-C7D8-4DE8-AF99-C8E5130F28D4@berdine.net> (raw) In-Reply-To: <email@example.com> > On Apr 25, 2020, at 2:37 PM, Basile Starynkevitch <firstname.lastname@example.org> wrote: >> On 4/25/20 3:12 PM, Alan Schmitt wrote: >>> On 2020-04-25 08:43, Malcolm Matalka <email@example.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.
prev parent 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: https://en.wikipedia.org/wiki/Posting_style#Interleaved_style * Reply using the --to, --cc, and --in-reply-to switches of git-send-email(1): git send-email \ --in-reply-to=1AA65D1D-C7D8-4DE8-AF99-C8E5130F28D4@berdine.net \ --firstname.lastname@example.org \ --email@example.com \ /path/to/YOUR_REPLY https://kernel.org/pub/software/scm/git/docs/git-send-email.html * 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 https://inbox.ocaml.org/caml-list AGPL code for this site: git clone https://public-inbox.org/ public-inbox