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 CDB5A5D4 for ; Tue, 21 Apr 2020 14:09:21 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.72,410,1580770800"; d="scan'208,217";a="446183274" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 21 Apr 2020 16:09:19 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id C96A47F47A; Tue, 21 Apr 2020 16:09:19 +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 C1DFF7EFAB for ; Tue, 21 Apr 2020 16:09:11 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=tclwarrior@gmail.com; spf=Pass smtp.mailfrom=tclwarrior@gmail.com; spf=None smtp.helo=postmaster@mail-wm1-f43.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AqPJoJxbk6U4kceigRulRLfD/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZoM+9bnLW6fgltlLVR4KTs6sC17OL9fy9EjJQqb+681k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRo?= =?us-ascii?q?LerpBIHSk9631+ev8JHPfglEnjWwba5yIRmsogjctsYajIphJ60s1hbHv3xEdv?= =?us-ascii?q?hMy2h1P1yThRH85smx/J5n7Stdvu8q+tBDX6vnYak2VKRUAzs6PW874s3rrgTD?= =?us-ascii?q?QhCU5nQASGUWkwFHDBbD4RrnQ5r+qCr6tu562CmHIc37SK0/VDq+46t3ThLjlS?= =?us-ascii?q?EKPCM7/m7KkMx9lK1UoByjqBJ/zYDaY5ybOuRica7GZ9wWWXBMU9xNWyBdAI6x?= =?us-ascii?q?aZYEAeobPeZfqonwv1UCoAe6BQmtGejhzSVEinHr1qA9z+QuDQXG3QI6ENIUqn?= =?us-ascii?q?TUrdL1NL0JXOC6yanH1zTDb/dM1Tjh74jIdwksrPeRVrx+dsrRzFMgFwLDjliI?= =?us-ascii?q?rozqIyma1uEJs2SB6OpgT+2vhmg6oA9yujii3tkghpXNi44PyV3J9T91zJsrKd?= =?us-ascii?q?C7UkJ2btCpHZ1NvC+ALYR2WNktQ2RwtSY61LIGvZm7cTAPyJs9xh7fb+WLcoaN?= =?us-ascii?q?4h7+TeqRLzh1iXx/dLKwgBay9kegyuniWcWuzFlKqS9FnsHNtnALyRPT9tCKRu?= =?us-ascii?q?Vh8kqlwzqC1ADe5vtZLUwqlqfXMZEsz7AompoWq0vDHyv2mEvsjK+Rc0Up4vSo?= =?us-ascii?q?5PjjYrTovJCcLZV0igD5MqQ0gcG/DuE4PRIPX2if4+izyLrj/UjhTLVQkvI2ir?= =?us-ascii?q?XZsIzdJckDuqG2GQpV0oI65xa7Djemy8gYkGIcLFNFfRKHl5LmN0vPIPD+F/e/?= =?us-ascii?q?gk6jnC1lx/DcbfXdBcDKNHLCnqepKbh6+2Zb0gAy0dlb6ZVETLwcdqHdQEj04Z?= =?us-ascii?q?bxCh5xFkr+i7L7A9Fi35kEWGWVKqCcOaLW91SP47R8cKG3eIYJtWOleLAe7Pn0?= =?us-ascii?q?gCphwAJPTeySxZISLUuAMLFmLkGeOye+h94AFSIVu1N7QrCxzlKFVjFXajC5WK?= =?us-ascii?q?duvmhnWrLjNp/KQ8WWuJLExD2yR8QEaWVPC1TKGnDtJd3dCqU8LRmKK8okqQQq?= =?us-ascii?q?EL2oSosvzxar7VaoxL9uL+6S8Sod58vu?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CfCgAY/p5efyuAVdFmHQEBAQkBEQUFA?= =?us-ascii?q?YF7glJEgQcqhB6BHIJeiwaCEYp4hQ2DQogKCgEDAQwfEAQBAYREAoIXHAcBBDQ?= =?us-ascii?q?TAhABAQUBAQECAQIDBAETAQEJCwsIJ4VfDII7IoMLCgEBAQIBEhEdARsdAQMBC?= =?us-ascii?q?wYFAwEHNwICIgERAQUBHAYTIoMFgkoBAw4gpE2BBD2LKIEVBQEXgwEFhQIKGSg?= =?us-ascii?q?NZYE0AgEGEoEmjDkaggCBR4IsLj6Ee4Jlgl8EsX0LBwMLMoEtWogLj2cdgkWaG?= =?us-ascii?q?Jkzk0gPI4FGgXhwUDGCOFAYDZFYg3OFFIVeKDCPRwEB?= X-IPAS-Result: =?us-ascii?q?A0CfCgAY/p5efyuAVdFmHQEBAQkBEQUFAYF7glJEgQcqhB6?= =?us-ascii?q?BHIJeiwaCEYp4hQ2DQogKCgEDAQwfEAQBAYREAoIXHAcBBDQTAhABAQUBAQECA?= =?us-ascii?q?QIDBAETAQEJCwsIJ4VfDII7IoMLCgEBAQIBEhEdARsdAQMBCwYFAwEHNwICIgE?= =?us-ascii?q?RAQUBHAYTIoMFgkoBAw4gpE2BBD2LKIEVBQEXgwEFhQIKGSgNZYE0AgEGEoEmj?= =?us-ascii?q?DkaggCBR4IsLj6Ee4Jlgl8EsX0LBwMLMoEtWogLj2cdgkWaGJkzk0gPI4FGgXh?= =?us-ascii?q?wUDGCOFAYDZFYg3OFFIVeKDCPRwEB?= X-IronPort-AV: E=Sophos;i="5.72,410,1580770800"; d="scan'208,217";a="446183093" X-MGA-submission: =?us-ascii?q?MDERnN4S3unarvg/ZgSbYtjwqhsHoFekQvkL7M?= =?us-ascii?q?7dF3+3WxixMVz1JeSoG+Oldprc5jMNxAs5fbjEIfE/t5fN0fzUSc12ld?= =?us-ascii?q?IPddiuIvhCiFOTUXCSvdzEI4Lf6N4T84idWUf66gEvIigqskrdbd8nhz?= =?us-ascii?q?VAN7VB1N03qK1h7mYqFkizeg=3D=3D?= Received: from mail-wm1-f43.google.com ([209.85.128.43]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 21 Apr 2020 16:08:31 +0200 Received: by mail-wm1-f43.google.com with SMTP id e26so3701678wmk.5 for ; Tue, 21 Apr 2020 07:08:31 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=ey3FW8UtDMCY7i9rmqOfeLVKMOdxdfAmAGd35O2H9eA=; b=Anzwip0j/2Kxug1ynx2Qz8bOVCsDHa+5R5XWfIpXQN/8bLA76TpXxfXCqSF/7QyXPJ R+r3+mRlH2YL4c0ky0i9Qv6EGMcffuw4Qfz8+BGEHNS+AtSjP/kBlRraPx8Tyc320gk9 pxrjrVlwMWMgRdQ3uG+w2umpXeiwPljpl+mImP0Xpmy5SMR5Vn3b7J/xi4TnWrJZoSwN kvHRSZTEcLhzsLo4OlLoEfrLFdbUpFB6VrBL2CUUY59DOzGGlCJANYVIN6/zGaqc/St/ XAW6lfkw+oFPA0WJWR6c2EBaKnQLdVC98difJIJlMjv62kMRI5Ia0LSkL72PvBPc4wsd aOsw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=ey3FW8UtDMCY7i9rmqOfeLVKMOdxdfAmAGd35O2H9eA=; b=PZ1LU8TYP2lu0YSC7Wt8wRNAckrYYwVSuS5dkdNeSYpfHwyWSyRpUSzfTlrfi128rQ uCsciFGhDJZzRCumzImnT1ROxc7cMVcN2ATDMqQ1ytxf90+i8E2INbCCSwtNNvJUxfKd AQRkG5+/ScGPPqYCKO8zGpvhV6M7Hf13Q82r7K5S4nnB1YMKB5oXg3Lm5OQR2tlLcGUs nHyu9TCEV7TUeEVGmpPFmW7Xfwg/UI8aRYMXrITasZ9ZanbZEk+4GFGhnFxr4OqG5+Jv oPyiTrkvcJfjRBlQoT0De7UorJaQgwopzE1z0EFUTk08QKdEA+E2Cb7GjUOaKZuLPgT2 AxjQ== X-Gm-Message-State: AGi0PuZ1JWXsUimUYBuabKSvaz9xooOUb1CPakABjAQ+PlTmd+xHKC3f kEXbqVdCk9cB8GCQK/mCz/pyAPeCzlgJj1LxMuAu/dKQ X-Google-Smtp-Source: APiQypKMF4XO0aaPSgBNBuZVqahlIVIJP3UW3T8ZmHkj0rVBVjNLnpypacCmvLzZkILrFZzOZFZFojJRA/5gNCAnYf4= X-Received: by 2002:a7b:ce8b:: with SMTP id q11mr5056921wmj.101.1587478111221; Tue, 21 Apr 2020 07:08:31 -0700 (PDT) MIME-Version: 1.0 References: <37e47dfd-580b-725f-725b-190580bee8f6@orbitalfox.eu> In-Reply-To: <37e47dfd-580b-725f-725b-190580bee8f6@orbitalfox.eu> From: "Ali M." Date: Tue, 21 Apr 2020 10:08:20 -0400 Message-ID: To: orbifx Cc: caml-list@inria.fr Content-Type: multipart/alternative; boundary="000000000000e87c4605a3cd8cd5" Subject: Re: [Caml-list] Introspection of functions with Utop Reply-To: "Ali M." X-Loop: caml-list@inria.fr X-Sequence: 18113 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: --000000000000e87c4605a3cd8cd5 Content-Type: text/plain; charset="UTF-8" I would suggest to also ask this question on the discourse forum https://discuss.ocaml.org/ You might get better interaction On Tue, Apr 21, 2020 at 7:41 AM orbifx wrote: > Is there a way for utop to show the definition of a function? Or does it > compile it right after parsing it? > > Thanks > --000000000000e87c4605a3cd8cd5 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
I would suggest to also ask this question on the disc= ourse forum
https://discuss.ocam= l.org/
You might get better interaction

On Tue, Apr 21, 20= 20 at 7:41 AM orbifx <fox@orbitalfo= x.eu> wrote:
Is there a way for utop to show the definition of a function? Or does i= t compile it right after parsing it?

Thanks
--000000000000e87c4605a3cd8cd5--