From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id BAF9F5D4 for ; Mon, 27 Apr 2020 16:12:12 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.73,324,1583190000"; d="scan'208";a="447119894" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 27 Apr 2020 18:12:09 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 8BE5A7F48E; Mon, 27 Apr 2020 18:12:09 +0200 (CEST) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 6F9C57EEE8 for ; Mon, 27 Apr 2020 18:11:59 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=josh@berdine.net; spf=Pass smtp.mailfrom=josh@berdine.net; spf=Pass smtp.helo=postmaster@wout2-smtp.messagingengine.com IronPort-PHdr: =?us-ascii?q?9a23=3A4Kmy2xVyhnURg4nUK1qtGwMMVfPV8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYbBaOt8tkgFKBZ4jH8fUM07OQ7/m9HzFRqsfd+Fk5M7V0Hycfjs?= =?us-ascii?q?sXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aFRrwLxd6?= =?us-ascii?q?KfroEYDOkcu3y/qy+5rOaAlUmTaxe7x/IAi2oAnLtsQbhYRuJ6I+xxDUvnZGZu?= =?us-ascii?q?NayH9yK1mOhRj8/MCw/JBi8yRUpf0s8tNLXLv5caolU7FWFSwqPG8p6sLlsxnD?= =?us-ascii?q?VhaP6WAHUmoKiBpIAhPK4w/8U5zsryb1rOt92C2dPc3rUbA5XCmp4ql3RBP0ji?= =?us-ascii?q?oMKjg0+3zVhMNtlqJWuBKvqABwzYHbfY+bOvR+cL3fct0ZQmRMRdpRVzVEAo+g?= =?us-ascii?q?b4sDE/QNMOBFpIf9vVsOqh6+CBGoCuPo0T9IhmL90LAk3OQ7DA7G3QogEMwTu3?= =?us-ascii?q?nTrtX1M7wSUeCuwabT0zrDde5Z2Tb76IfWaBwhp++DXa5pfMfX1EIhGQTFjlCK?= =?us-ascii?q?pozkOTOYzusNs2mH7+pgSOKgkHQrpB12ojiq3sssiJPGhoQLxVDf6SV52pg6Ks?= =?us-ascii?q?OkSEJhfdGkF55QuieHPIV1WsMvW2BltSkgxrEbtpO2fjIGxIk5yxPRcfCLbYiF?= =?us-ascii?q?7gr+WOuQLzp0nm9pdK+wihqo7EStxPDwWtOp3FtMsyFIjN3Mtm0W1xzP9MeHUO?= =?us-ascii?q?Zz/kag2DmRzw3f9udJKl0um6XBMZ4u2Lswm4ITsUvdGi/2n137jaGRdkU55uik?= =?us-ascii?q?9f3rYq7jpp+AL494kAT+Pbo1msykG+s4PQkOX26U+eui0r3j8kz5QLNUgfEsjq?= =?us-ascii?q?bZt5XaKdwapq6/HQBVzp4u5hewAju8zdgVknsKIEhYdB6ZgYXlIU/CLfDgAfe6?= =?us-ascii?q?mVuskTNrx/7cPr3mB5XANnrDkLD6fbZ98ENT0xQ8zcpC6JJVDLEOPuj/Wknvu9?= =?us-ascii?q?zEFhM5KRC7w/77CNVh0YMTQX6ADbWcMKPWqFOI4uMvI/KQZIIOozb8K/0l5+b0?= =?us-ascii?q?gnMjmF8de7Op3ZoNZ3yiEPRmORbRXX25id4EFSIOvxEiZO3sklyLFzBJNFioWK?= =?us-ascii?q?dpxDYgCMqMAJ3PR4agyOiD2zy7NpdbfGxHDF3KF3r0IdbXE8wQYT6fd5cy2gcP?= =?us-ascii?q?UqKsHtd4iUOe8TTiwr8iFdL6vzUCvMu4htJ4/eHSkxx08zFoXZzEgjO9Clpsl2?= =?us-ascii?q?ZNfAcYmaV2oEhz0FCGiPMqifFCGd1V6rVPXxtobMeBndw/MMj7X0f6RvnMSFui?= =?us-ascii?q?RY78Uy42U85rhsQLf147Hti5lRnM3iylDrkalrqGQpcz9/CF0g=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0ByAwDnA6dehxl7k0BmHAEBAQEBBwEBE?= =?us-ascii?q?QEEBAEBPIFHgxZVAQEwKo0ghgmCEYNyhgSRYgsBAwEMIwwEAQGERAKCKB0GAQQ?= =?us-ascii?q?0EwIQAQEFAQEBAgECAwQBEwEBAQoLCQgphV0MgjsigxQBAQEBAgE6BgEBOAQLC?= =?us-ascii?q?xguITYZgyYBgksDDh8BD7IodIE0gwABAQWFLA1igTcDBoE4jD0aPoFCgTgcgh8?= =?us-ascii?q?uPoIeSQKBZU2Cd4ItsVxKgk+BAocNiyqEZIECjmyNDZgOgTSCRY02g2uBaYF4M?= =?us-ascii?q?xoIJgo7KgGCPj4SGA2RNBqDWIRZhX5AAQExAjMCBggBAQMJjxwBAQ?= X-IPAS-Result: =?us-ascii?q?A0ByAwDnA6dehxl7k0BmHAEBAQEBBwEBEQEEBAEBPIFHgxZ?= =?us-ascii?q?VAQEwKo0ghgmCEYNyhgSRYgsBAwEMIwwEAQGERAKCKB0GAQQ0EwIQAQEFAQEBA?= =?us-ascii?q?gECAwQBEwEBAQoLCQgphV0MgjsigxQBAQEBAgE6BgEBOAQLCxguITYZgyYBgks?= =?us-ascii?q?DDh8BD7IodIE0gwABAQWFLA1igTcDBoE4jD0aPoFCgTgcgh8uPoIeSQKBZU2Cd?= =?us-ascii?q?4ItsVxKgk+BAocNiyqEZIECjmyNDZgOgTSCRY02g2uBaYF4MxoIJgo7KgGCPj4?= =?us-ascii?q?SGA2RNBqDWIRZhX5AAQExAjMCBggBAQMJjxwBAQ?= X-IronPort-AV: E=Sophos;i="5.73,324,1583190000"; d="scan'208";a="447119732" X-MGA-submission: =?us-ascii?q?MDFtoKbCENWP71jDcCup5LYX9QHX6jniGrAvd8?= =?us-ascii?q?qoeExl/sBPVtA/nXnjSDvCK9dssi71PYp6Hu/KP/ZyV5GxDbpwlofx0m?= =?us-ascii?q?4sQUspjAtKe0mP9RhsULSqcqIXKHgP5pmednjKsfsFV8q89U5pSRh0P0?= =?us-ascii?q?owIgQp5k2J0TFRSoPZkX5c0Q=3D=3D?= Received: from wout2-smtp.messagingengine.com ([64.147.123.25]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 27 Apr 2020 18:11:34 +0200 Received: from compute2.internal (compute2.nyi.internal [10.202.2.42]) by mailout.west.internal (Postfix) with ESMTP id C4D577AB for ; Mon, 27 Apr 2020 12:11:31 -0400 (EDT) Received: from mailfrontend2 ([10.202.2.163]) by compute2.internal (MEProxy); Mon, 27 Apr 2020 12:11:31 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=berdine.net; h= from:content-type:content-transfer-encoding:mime-version:subject :date:references:to:in-reply-to:message-id; s=fm2; bh=NmhQrtpIyJ 69+IrDF+Pd4mG1U8vDs8fFRd4CLt6FeLI=; b=oZS7LjCrO+MBZ+ddMKZMzEomeq R7PdbxAVsoQ03jO/yLAnTLfPNgsqn/1QGXc2fQ1e1Qdz4gScY4ScOZ7lVJ4e1WAj 456THYq1j9c7wKHWDJN/4LplyxYwPfP83yIm0iqpVjnHHGl26nQIy28XtLzsluNr o7XLZ2zu5vz+6R93mM7Q4lO/Lz445DVuaLevdg8q+uLQ/hITNObWB7PbkuSxL3Ku pG3D4Xiz8ArtdG1UPxzKGj4JOesWrSy+GCg8mOOhR9UkFhFWCoMgOCTiSuuMi+8q HECwViJXygKcM6ORNREqve69+pxac9/Ga9PXSXECBSI+scFrkYBwFUuXevIw== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=content-transfer-encoding:content-type :date:from:in-reply-to:message-id:mime-version:references :subject:to:x-me-proxy:x-me-proxy:x-me-sender:x-me-sender :x-sasl-enc; s=fm2; bh=NmhQrtpIyJ69+IrDF+Pd4mG1U8vDs8fFRd4CLt6Fe LI=; b=pWm20uCx7uIMvWGo7sRx7qBMAG1G51IvTBobY+1htUNBgnr5w8HqpffbY dgf5HRj8iLscriDdsa/eRcq49ZuON8ecYvkTUTvIMXhKvJJp8HiU0MwsNsiVFy9r 8rEWyyVeyZDy/hChJtWW8AobgYXNuu590AGsM3A9GCM5JggknfsbQq5xoivnqkuu mfXiS4VmuWPa0ZS3NzXONHLsagETa/vxIm3zj3YuVhZBLiE0qd8RyLQB1OdANFV9 A4PjQDxPfcWl1jPaj4IK5oZj8x+RUQg7HX/krn7/WZGkr+8g5cNm4WYFBheFBgTg BWWnuKwaEMVWa7Uax4ub+gXoDPMag== X-ME-Sender: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgeduhedrheelgdelhecutefuodetggdotefrodftvf curfhrohhfihhlvgemucfhrghsthforghilhdpqfgfvfdpuffrtefokffrpgfnqfghnecu uegrihhlohhuthemuceftddtnecunecujfgurhephfgtgfgguffffhfvjgfkofesthhqmh dthhdtvdenucfhrhhomheplfhoshhhuceuvghrughinhgvuceojhhoshhhsegsvghrughi nhgvrdhnvghtqeenucffohhmrghinhepghhithhhuhgsrdgtohhmpdhjrghnvghsthhrvg gvthdrtghomhenucfkphepudeifedruddugedrudefuddrudenucevlhhushhtvghrufhi iigvpedtnecurfgrrhgrmhepmhgrihhlfhhrohhmpehjohhshhessggvrhguihhnvgdrnh gvth X-ME-Proxy: Received: from jjb-mbp.dhcp.thefacebook.com (unknown [163.114.131.1]) by mail.messagingengine.com (Postfix) with ESMTPA id DB5D63065E5A for ; Mon, 27 Apr 2020 12:11:30 -0400 (EDT) From: Josh Berdine Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable Mime-Version: 1.0 (Mac OS X Mail 12.4 \(3445.104.14\)) Date: Mon, 27 Apr 2020 17:11:29 +0100 References: <37e47dfd-580b-725f-725b-190580bee8f6@orbitalfox.eu> <3ab1f224-dfce-9496-6570-c518cb367008@orbitalfox.eu> <86d07wgj5z.fsf@gmail.com> <87eesbiu91.fsf@m4x.org> To: caml-list@inria.fr In-Reply-To: Message-Id: <1AA65D1D-C7D8-4DE8-AF99-C8E5130F28D4@berdine.net> X-Mailer: Apple Mail (2.3445.104.14) Subject: Re: [Caml-list] Introspection of functions with Utop Reply-To: Josh Berdine X-Loop: caml-list@inria.fr X-Sequence: 18121 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: > 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: >>=20 >>> What's the answer?? >>>=20 >> 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. >>=20 >=20 > Unless (on Linux/x86-64 at least) you compile the code with the -g = debugging option. >=20 > Adventurous developers could even couple that with Ian Taylor's = libbacktrace library. I leave them to check license compatibility with = their lawyers. >=20 > https://github.com/ianlancetaylor/libbacktrace >=20 > 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.