From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <rixed@happyleptic.org>
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 CC3588240C
	for <caml-list@sympa.inria.fr>; Sun,  8 Apr 2018 10:52:47 +0200 (CEST)
Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=rixed@happyleptic.org; spf=None smtp.mailfrom=rixed@happyleptic.org; spf=None smtp.helo=postmaster@pim.happyleptic.org
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  rixed@happyleptic.org) identity=pra; client-ip=5.135.156.187;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="rixed@happyleptic.org";
  x-sender="rixed@happyleptic.org";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  rixed@happyleptic.org) identity=mailfrom;
  client-ip=5.135.156.187;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="rixed@happyleptic.org";
  x-sender="rixed@happyleptic.org";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@pim.happyleptic.org) identity=helo;
  client-ip=5.135.156.187;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="rixed@happyleptic.org";
  x-sender="postmaster@pim.happyleptic.org";
  x-conformance=sidf_compatible
IronPort-PHdr: =?us-ascii?q?9a23=3Ai7uTEBBg8K5lelwu9E46UyQJP3N1i/DPJgcQr6Af?=
 =?us-ascii?q?oPdwSPv9ocbcNUDSrc9gkEXOFd2Cra4c0KyO6+jJYi8p2d65qncMcZhBBVcuqP?=
 =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6?=
 =?us-ascii?q?JvjvGo7Vks+7y/2+94fcbglUijexe69+IAmrpgjNq8cahpdvJLwswRXTuHtIfO?=
 =?us-ascii?q?pWxWJsJV2Nmhv3+9m98p1+/SlOovwt78FPX7n0cKQ+VrxYES8pM3sp683xtBnM?=
 =?us-ascii?q?VhWA630BWWgLiBVIAgzF7BbnXpfttybxq+Rw1DWGMcDwULs5Xymp4aV2Rx/ykC?=
 =?us-ascii?q?oJOT43/n/KhMJzgqJUrw6uqAF9zIHae4yVKOZyc7nBcd8GX2dNQMBcXDFBDIOm?=
 =?us-ascii?q?aIsPCvIMMPhGoIbgvVsOrAexDhSyCezxzj9Ign720rMg0+88FgzGxg0gHt0Qv3?=
 =?us-ascii?q?vJt9j1NL0dUfitzKjIyTXMcetW2Sv86IfUaBwhpuuMXb1pfMfX1EIhFBvFg02Q?=
 =?us-ascii?q?pID/Ij+Y2OQAv3KG4+dgVO+jkXMrpgJzrzS3xcohhZPFipwax1zZ7yl13po5KN?=
 =?us-ascii?q?6iREJlb9OpEp1dvDyAOYRsWMMtWWRotT46yrIYvZ67ezAHyIwmxx7acfCHc5KH?=
 =?us-ascii?q?4gr7VOeRJTd3mmpleK6+hxmu60Sgzff8Vsas3FZLqCpKjMXMu2gN2hDJ98SKRP?=
 =?us-ascii?q?tw8l281TuP1g3f8PxILEM2mKbDLp4u2L8wlp4dsUTZGS/2nV37jLWXdkQr5Oen?=
 =?us-ascii?q?9v/qYrX8qZ+EL491igX+Pbo2msyjAOQ3LhICX2+B+eSzzLHj51H2QK1Wjv0qla?=
 =?us-ascii?q?nUqIzVKt4epq69GgNV1ocj6w2jDzq9y9QZnXwHLEpfdx6djojpPUvOIPHiAvul?=
 =?us-ascii?q?jVSsimQj+/eTEKfoBJ7KL2OLuprbUJBSxnQUnAQpxNZU4JNPTLsMOv/1VULr8t?=
 =?us-ascii?q?LFCDc2NgW1x6DsD9Arha0EXmfaKaKVKqLZ+XSF4uYuLvPEMJUUqDvxA/gs/+b/?=
 =?us-ascii?q?iXIhhV4WO66z0s1EOziDAv16LhDBMjLXidAbHDJS51tsfKnRkFSHFAVrSTO3Vq?=
 =?us-ascii?q?M46Cs8Ddv5X4fKXpi8hLGZwCawWJpMaTIeUwzeITLTb4yBHsw0RmeKOMY4zW4E?=
 =?us-ascii?q?XKC5WosszQ2vv0n90bU1drOJqB1djorq0Z1O38OWlRw28mYtXdyc1ieNRnlsj2?=
 =?us-ascii?q?cFXyM31+Z4u0Mvklo=3D?=
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BICwARUcla/7uchwVdHAEBAQQBAQoBA?=
 =?us-ascii?q?YNCgVAomGlLBQGBHwSBD4pxh2yBeguEeQEBCAIIgjEZBgYxFwECAQEBAQEBAQE?=
 =?us-ascii?q?BaxwMgjUigkwBBAE6BgEBNwEECwshJQ8FSYUTBQwBAapCgwmCbgEBBYVGghYII?=
 =?us-ascii?q?YdKgQyBB4NiLogfgiSXSQiIJIYGgS8Bhh+Ef5AGgSUeATWBUjMaCCgIOoJDghS?=
 =?us-ascii?q?IfIVAbY8LAQE?=
X-IPAS-Result: =?us-ascii?q?A0BICwARUcla/7uchwVdHAEBAQQBAQoBAYNCgVAomGlLBQG?=
 =?us-ascii?q?BHwSBD4pxh2yBeguEeQEBCAIIgjEZBgYxFwECAQEBAQEBAQEBaxwMgjUigkwBB?=
 =?us-ascii?q?AE6BgEBNwEECwshJQ8FSYUTBQwBAapCgwmCbgEBBYVGghYIIYdKgQyBB4NiLog?=
 =?us-ascii?q?fgiSXSQiIJIYGgS8Bhh+Ef5AGgSUeATWBUjMaCCgIOoJDghSIfIVAbY8LAQE?=
X-IronPort-AV: E=Sophos;i="5.48,423,1517871600"; 
   d="scan'208";a="261262473"
Received: from pim.happyleptic.org ([5.135.156.187])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 08 Apr 2018 10:52:47 +0200
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=happyleptic.org; s=20160823;
	h=In-Reply-To:Content-Type:MIME-Version:References:Message-ID:Subject:Cc:To:From:Date; bh=MqPxrevNxANb9EOTFO81ktWo/SVGt4WiXV65WxV3/xk=;
	b=WkGbplun6pmSHASMX79HBM8NQKDkABf5AyU87XswC5UCnt9CAmzyYXWvaJYPYSe2A2jvk5h3XZkUdfah+ZTVasKPe/pe++efRvNBQp6XyJOmJlNDyJ0FeQHV+cFqDwvQKivM50N1M+T8826zer34UFKEdALGizM/nxuaUAA+/lo=;
Received: from [84.241.208.237] (helo=rxdmac)
	by pim.happyleptic.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
	(Exim 4.84_2)
	(envelope-from <rixed@happyleptic.org>)
	id 1f5646-0003OV-7P; Sun, 08 Apr 2018 10:52:46 +0200
Date: Sun, 8 Apr 2018 10:52:32 +0200
From: Cedric Cellier <rixed@happyleptic.org>
To: Francois BERENGER <francois.berenger.fun@gmail.com>
Cc: caml-list@inria.fr
Message-ID: <20180408085232.GA10402@rxdmac>
References: <7edba90e-d17b-9389-832b-ac662465b4c1@bioreg.kyushu-u.ac.jp>
 <bc1c93cc-45f8-8a35-e4d1-a5cf355e44d0@kent.ac.uk>
 <CAAZXAebdr4LvxQ0XKGjFcqnjHXi=MYf++hF4SsA+Lm04J-chBA@mail.gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <CAAZXAebdr4LvxQ0XKGjFcqnjHXi=MYf++hF4SsA+Lm04J-chBA@mail.gmail.com>
User-Agent: Mutt/1.9.4 (2018-02-28)
Subject: Re: [Caml-list] how to automatically extract a subset of some ocaml
 code base?

> I would like to extract all the functions callable from the main() and
> dump all them in bottom up order into a new file (that I hope to
> compile).

I'm not sure, but I think this is part of what js_of_ocaml does.