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 ESMTP id 3BEDF5D4 for ; Sat, 25 Apr 2020 13:20:33 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.73,316,1583190000"; d="scan'208";a="446859551" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 25 Apr 2020 15:20:30 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id E442D7F48C; Sat, 25 Apr 2020 15:20:30 +0200 (CEST) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 4985D7F345 for ; Sat, 25 Apr 2020 15:13:32 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=alan.schmitt@inria.fr; spf=Pass smtp.mailfrom=SRS0=yzpx=6J=inria.fr=alan.schmitt@bounces.m4x.org; spf=Pass smtp.helo=postmaster@mx1.polytechnique.org IronPort-PHdr: =?us-ascii?q?9a23=3A8ok7fBJzvnBjpBZuJNmcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgeLfXxwZ3uMQTl6Ol3ixeRBMOHsq8C1rad6PCocFdDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZr?= =?us-ascii?q?KeTpAI7SiNm82/yv95HJbAhEmTqwbalyIRi5ogncuMobipZ+J6gszRfEvmFGcP?= =?us-ascii?q?lMy2NyIlKTkRf85sOu85Nm7i9dpfEv+dNeXKvjZ6g3QqBWAzogM2Au+c3krgLD?= =?us-ascii?q?QheV5nsdSWoZjBxFCBXY4R7gX5fxtiz6tvdh2CSfIMb7Q6w4VSik4qx2UxLjlj?= =?us-ascii?q?sJOCAl/2HWksxwjbxUoBS9pxxk3oXYZJiZOOdicq/BeN8XQ3dKUMRMWCxbGo6y?= =?us-ascii?q?b5UBAfcDMuZWoYfzpFQBogelCAmwGO/i0CNEimPq0aEm1ekqDAHI3BYnH9ILqH?= =?us-ascii?q?nZsNH1O70UUeuo0afH0TXDb/ZX2Tfh9IjDbxcsruuIXb1qd8rd01IvGB/FjlWV?= =?us-ascii?q?qIzlIy+V2/8Ms2id9epgVPigh3QpqwFruzWiwNonhIrRho8N11zI6yF0zJwoKd?= =?us-ascii?q?GkR0N3e9CpHIdKuyyUOIZ6WsEvTmJytCokxbAKp4S3cDUFxZg92hLSZOCLfo6V?= =?us-ascii?q?6Rz5TumROy13hHd9dbK/mRmy9U+gx/X5Vsi7zVpGtDJFkt7ItnENyxzc9NSISv?= =?us-ascii?q?t7/kegwDaPyh7c5vtDIUAumqrXM58hwrgumZoPqUnPAzH6lUHsgKOLakkp9fKk?= =?us-ascii?q?5ur7brn8qJKROJd4igTkPaQvnsy/D/44Mg8LX2WD5OqyyKDt8VHhTbRKj/w2iq?= =?us-ascii?q?bYvYjbKMofvqO5AglV0pwi6xmlFTum3s4YkGEdI1JBYh2HiZLlO0rSL/D4CPe/?= =?us-ascii?q?gkiskCtwyv/dOb3hH5PNIWTdn7f6Z7p97kFRyQUpwdBY/ZJUBakNIOjvVU/pqN?= =?us-ascii?q?zYEhg5PhSozOn9DdV90poSWWaOAq+CLKPfqkSI5+IqI+mUfoAZojf9K/4/5/7v?= =?us-ascii?q?l3A1g1EdfbP6lacQPVWxGv9hJ0DRRHPwi9MCGC9euw83UOXui1SqXjtaZnL0VK?= =?us-ascii?q?U5sHVzD5isDInTDtSjh6yp2z2xH4FfYm5BGhaBDCG7WZ+DXqIlbCuUavRqkjkF?= =?us-ascii?q?SaTpH4Yl3BforwT6zrt7MsLV/DcZvNTtzo4mtKXoiRgu+GksXIym2GaXQjQxxz?= =?us-ascii?q?tQHmNk7OVEuUV4j2y7/+1gmfUBTY5S4elIW0E0L8yElr0oO5XJQgvEO+yxZhOj?= =?us-ascii?q?S9SiDys2S4tukdUJfkB2Fs7ki0zTmS2wDO1MzuHZNNkP6qvZmkPJCYN9xnLBjv?= =?us-ascii?q?Jzikl/BNNIMXy6i6V/8QnKGoOPlF+Wxf+n?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0C+AQA2N6RehyIeaIFmHgELHIVuMiqNI?= =?us-ascii?q?IgXiXaRbQEDAQwsAQIEAQGGbB0GAQQ0EwIQAQEFAQEBAgECAwQBEwEBAQoLCQg?= =?us-ascii?q?phWmCOykBgw0BBAF5BQsLDhMlDwERGxsGARKDJoJMAw4gBAEBskSILw1igUAig?= =?us-ascii?q?RaMOQ+BTD+Dcy4+gh6IIQSxWEoHgUKBBn4EkjeEZIJKAZowj3qMDZEhgWmBeDM?= =?us-ascii?q?aJ0yCaWgNn34/MzUCBggBAQMJdQEBBRMLAY4UAQE?= X-IPAS-Result: =?us-ascii?q?A0C+AQA2N6RehyIeaIFmHgELHIVuMiqNIIgXiXaRbQEDAQw?= =?us-ascii?q?sAQIEAQGGbB0GAQQ0EwIQAQEFAQEBAgECAwQBEwEBAQoLCQgphWmCOykBgw0BB?= =?us-ascii?q?AF5BQsLDhMlDwERGxsGARKDJoJMAw4gBAEBskSILw1igUAigRaMOQ+BTD+Dcy4?= =?us-ascii?q?+gh6IIQSxWEoHgUKBBn4EkjeEZIJKAZowj3qMDZEhgWmBeDMaJ0yCaWgNn34/M?= =?us-ascii?q?zUCBggBAQMJdQEBBRMLAY4UAQE?= X-IronPort-AV: E=Sophos;i="5.73,316,1583190000"; d="scan'208";a="346949092" X-MGA-submission: =?us-ascii?q?MDH+Yad5vANyZhqJZhWSM/aiXXyyrWQT0KLTGy?= =?us-ascii?q?n3UMNW5fstoYIvmXKw2awfKbdmDAgLt9IeW5TPb7IQd1MyTJXEQ4rEmv?= =?us-ascii?q?oMVCSiik09Ssu71mO/vAbI0FeJFVcxlVXwZReQRPOnTwrG3LIws+sf+D?= =?us-ascii?q?EmEdvl/iehC45AWGvVpEs7TA=3D=3D?= Received: from mx1.polytechnique.org ([129.104.30.34]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 25 Apr 2020 15:13:02 +0200 Received: from set (cbg35-2-78-242-14-140.fbx.proxad.net [78.242.14.140]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ssl.polytechnique.org (Postfix) with ESMTPSA id 71A6256129B; Sat, 25 Apr 2020 15:12:58 +0200 (CEST) From: Alan Schmitt To: Malcolm Matalka , orbifx Cc: "Ali M." , caml-list@inria.fr In-Reply-To: <86d07wgj5z.fsf@gmail.com> References: <37e47dfd-580b-725f-725b-190580bee8f6@orbitalfox.eu> <3ab1f224-dfce-9496-6570-c518cb367008@orbitalfox.eu> <86d07wgj5z.fsf@gmail.com> Date: Sat, 25 Apr 2020 15:12:58 +0200 Message-ID: <87eesbiu91.fsf@m4x.org> MIME-Version: 1.0 Content-Type: text/plain X-AV-Checked: ClamAV using ClamSMTP at svoboda.polytechnique.org (Sat Apr 25 15:12:58 2020 +0200 (CEST)) X-Spam-Flag: No, tests=bogofilter, spamicity=0.000146, queueID=AD445561273 X-Org-Mail: alan.schmitt.1995@polytechnique.org X-Validation-by: alan.schmitt@polytechnique.org Subject: Re: [Caml-list] Introspection of functions with Utop Reply-To: Alan Schmitt X-Loop: caml-list@inria.fr X-Sequence: 18117 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 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. Best, Alan