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 678A45D4 for ; Sat, 25 Apr 2020 06:43:13 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.73,315,1583190000"; d="scan'208";a="446831132" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 25 Apr 2020 08:43:12 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 4B4E17F485; Sat, 25 Apr 2020 08:43:12 +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 9EE177F345 for ; Sat, 25 Apr 2020 08:43:07 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=mmatalka@gmail.com; spf=Pass smtp.mailfrom=mmatalka@gmail.com; spf=None smtp.helo=postmaster@mail-lf1-f67.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AB+lsjh+NcmiFpv9uRHKM819IXTAuvvDOBiVQ1KB4?= =?us-ascii?q?2+kcTK2v8tzYMVDF4r011RmVBNidtqgP0rKH+4nbGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1?= =?us-ascii?q?Ov71GonPhMiryuy+4ZLebxhIiTanYb5+Mhq6oRjNusQSnIBvNrs/xhzVr3VSZu?= =?us-ascii?q?9Y33loJVWdnxb94se/4ptu+DlOtvwi6sBNT7z0c7w3QrJEAjsmNXs15NDwuhnY?= =?us-ascii?q?UQSP/HocXX4InRdOHgPI8Qv1Xpb1siv9q+p9xCyXNtD4QLwoRTiv6bpgRRn1gy?= =?us-ascii?q?kFKjE56nnaisJ+g6xbvhyvuh5wzYDXbo6aKPVzZb/dcc8ASGZdQspcTTBND4Wh?= =?us-ascii?q?ZIUPFeoBOuNYopH6qVQUqRuxGQ6sBOfqyjRVgXH5x7E63P4lEQHFxgMrAtUDsH?= =?us-ascii?q?HRrNrvKKcdS+S1zKrSwjjYYPNW3C3y6InMchw7vf6MWrdwfNPXxEIyGQ3FiVCQ?= =?us-ascii?q?ppbkPzOTzukNtHSU4PBlVeKrkWInrBtxojepy8wxiYfJnpoYxk7Y+Sh92oo4Jt?= =?us-ascii?q?21RFRmbdOlEpZcrSCXOoluTs8/X21lvDw2xqMItJO4ZiQG1Zoqyh/FZ/GGfIWF?= =?us-ascii?q?5A/oWvyLLjdinn1lfaqyhxas/kikze3xTsy030xLripBi9XMsn4N2wHK5siJS/?= =?us-ascii?q?Zw/F2t2TmI1wDU5eFEJV47mbDHJJ4mx748jpsTsULdES/qgEj6krOae0E+9uWr?= =?us-ascii?q?6+nreKjqq56eOoNuiwzzMLwimsmlDuQ5NggOUXKb+eO51LD7+E35Ra9FjuEsna?= =?us-ascii?q?nds5DVP98WpqG8AwBP04Yj7wyzACuh0NQdhXUHNk5KeAqbj4j1PFHDOOz3Au26?= =?us-ascii?q?g1SoiTtrw/HGPqb9ApjWNXjCkLLhfa5n5EJGyQozy8pf55NOBb0bLvLzQBy5iN?= =?us-ascii?q?uNCQUzMgKki7LpD8VV0ZkUWH6GBqGeIOXfrAnbyPgoJrypbYsevzL4Y90s+/fq?= =?us-ascii?q?jnZxzVoYdLWg2ZgeQH+9F/ViZU6eZCy/0Z86DW4Ws19mH6TRg1qYXGsLPivgb+?= =?us-ascii?q?cH/jg+TbmeI8LDS4Sq2uHT2S66GthSaDkDBA7TV3jvcIqAVrEHbyfAepYwwAxB?= =?us-ascii?q?bqCoTsoa7T/rsQb7z7R9Ke+No38XsJvi0J5+4OiBzEhupwwxNNyU1iS2d08xhn?= =?us-ascii?q?kBHmZk06V2oEg7wVCGg/B1?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0C4AACq2qNeZ0OnVdFmHAEBAQEBBwEBE?= =?us-ascii?q?QEEBAEBggOCKmxVXI0giBeKfIUKBYtOCwEDAQoBAR8OAgQBAYREAoImHAcBBDQ?= =?us-ascii?q?TAhABAQUBAQECAQIDBAETCwsLBimFXwyCOyKDFAEBAQECARIuARsMBgsBAwELB?= =?us-ascii?q?gULDQklDwETEQEFARwGEyKDBYJKAQMOIASlE4EEPYoyggsFAReDAQWCSYIXChk?= =?us-ascii?q?oDWIDgTQCAQYJAQiBJosbgR4agUE/gRGCYi4+gmcEh1QEshtHggiCa4Uij28dg?= =?us-ascii?q?kkBjSGNBpk9kzkCCgcGDyOBRoF4MxoIGxU7MYI4UBgNkTSDcoUUhUQ/MzUCBgg?= =?us-ascii?q?BAQMJViYTjjQBAQ?= X-IPAS-Result: =?us-ascii?q?A0C4AACq2qNeZ0OnVdFmHAEBAQEBBwEBEQEEBAEBggOCKmx?= =?us-ascii?q?VXI0giBeKfIUKBYtOCwEDAQoBAR8OAgQBAYREAoImHAcBBDQTAhABAQUBAQECA?= =?us-ascii?q?QIDBAETCwsLBimFXwyCOyKDFAEBAQECARIuARsMBgsBAwELBgULDQklDwETEQE?= =?us-ascii?q?FARwGEyKDBYJKAQMOIASlE4EEPYoyggsFAReDAQWCSYIXChkoDWIDgTQCAQYJA?= =?us-ascii?q?QiBJosbgR4agUE/gRGCYi4+gmcEh1QEshtHggiCa4Uij28dgkkBjSGNBpk9kzk?= =?us-ascii?q?CCgcGDyOBRoF4MxoIGxU7MYI4UBgNkTSDcoUUhUQ/MzUCBggBAQMJViYTjjQBA?= =?us-ascii?q?Q?= X-IronPort-AV: E=Sophos;i="5.73,315,1583190000"; d="scan'208";a="446831128" X-MGA-submission: =?us-ascii?q?MDHCZcXpbjobdPeNBfUpmjYdONcJe8nXv7xW7E?= =?us-ascii?q?H7i4ZRkPb9W8NlDA4+eHyVwBw0MTiZjwA+7hf+tD+LNQnP60visxldwK?= =?us-ascii?q?ujWSCCrcIdRdRei52AJdkxMmNhK0Qcu2TmENJyNxh61CLnOrpkcudjst?= =?us-ascii?q?MTB7PVrFnlqS+r44gKZgV2gA=3D=3D?= Received: from mail-lf1-f67.google.com ([209.85.167.67]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 25 Apr 2020 08:43:06 +0200 Received: by mail-lf1-f67.google.com with SMTP id j14so9544736lfg.9 for ; Fri, 24 Apr 2020 23:43:06 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=references:user-agent:from:to:cc:subject:in-reply-to:date :message-id:mime-version; bh=+zXcDZZQLioO430QNirCthQEfob6Sr4DhNXhl9Kames=; b=fgtzMfMfku7Fhnx92k+PXPYMj3kdJwPRX9AiMw1lTVLSs0ffXBstOWbOf+6dpQA9Bc REKi98U0RfZD7aIF2u0ZMOsyZ2WvVavdnJCjz3Tsc0NXb4HlkzoQSzlXft6Ix2rcOv+h Bi+rsArfvnS/eECCTj7pENRyhJKCBM0D2WSlZEgT08l9ebTlSIbUVmgGZ2k5qHfPG2m/ cm/HuoJ3z3n/Jwz9AvTQT2kQmBvv0X5aGrXATCp0VQOPg9hGskzlCJZdyH9pldIcWpN3 0gd9SKG+P+oRWLAzWf8TNqWb/Pmae3huccMgSJ3dky7UzzpRK8usuErh//baJL/obx9G EIxQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:references:user-agent:from:to:cc:subject :in-reply-to:date:message-id:mime-version; bh=+zXcDZZQLioO430QNirCthQEfob6Sr4DhNXhl9Kames=; b=qh0rTTDMPqnbhW7RiZ5pPsSy01R7Md0DFrO7n7Y4buw73usP/D7RvpJhubZpTrPTOm CKIBe9fOYf9KQVjT5qcVr3IiXAghE17PWAgHbFJVQU2fYm28ukhI+m5SpRtMqdsghjKO vKu4G4lCS8YVw+0DdDpUE0CXHvSbyTd5EoB5zEILh8wjydsxD9Xa5LuxaFestubIEonF bN7EX7eCrpxyXLxyoaXY43WZEnwOdpB1vCegYCoa9qGIm3hjzUZFFf09kiuyT9zx1bJk chPtsf8n4VcTA5bqYQ54v9rcvtmyDfhr2QsJIm/RDVFVKTV6eSzMDuykJ2RnQExBCQEq Jrrw== X-Gm-Message-State: AGi0PubQil9Rgf0+4jmnGfeGfKk1c12UG6lxUwAwKwtOlEY6hUbm3wmT qJo1uisQWp4JQI2D8L5GVVO1Pt7E X-Google-Smtp-Source: APiQypL9XjxrNamBYWDh6s3Ex4qBNzvNHOpfL6Em1Cz46eitYNgYyWtePnfvUlG0WJXJCXn17llzuQ== X-Received: by 2002:a05:6512:10c5:: with SMTP id k5mr8947001lfg.0.1587796985963; Fri, 24 Apr 2020 23:43:05 -0700 (PDT) Received: from localhost (customer-109-238-136-64.stosn.net. [109.238.136.64]) by smtp.gmail.com with ESMTPSA id 6sm5882545lfy.97.2020.04.24.23.43.05 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 24 Apr 2020 23:43:05 -0700 (PDT) References: <37e47dfd-580b-725f-725b-190580bee8f6@orbitalfox.eu> <3ab1f224-dfce-9496-6570-c518cb367008@orbitalfox.eu> User-agent: mu4e 1.2.0; emacs 26.3 From: Malcolm Matalka To: orbifx Cc: "Ali M." , caml-list@inria.fr In-reply-to: <3ab1f224-dfce-9496-6570-c518cb367008@orbitalfox.eu> Date: Sat, 25 Apr 2020 08:43:04 +0200 Message-ID: <86d07wgj5z.fsf@gmail.com> MIME-Version: 1.0 Content-Type: text/plain Subject: Re: [Caml-list] Introspection of functions with Utop Reply-To: Malcolm Matalka X-Loop: caml-list@inria.fr X-Sequence: 18116 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: orbifx writes: > On 21/04/2020 15:08, Ali M. wrote: >> I would suggest to also ask this question on the discourse forum >> https://discuss.ocaml.org/ >> You might get better interaction > > Thank you. I prefer the mailing list directly. I was given an answer > on this by Alan in the XMPP room[1] for OCaml. What's the answer?? > > [1]: xmpp:ocaml@conference.orbitalfox.eu?join