From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 7F4057FA5E for ; Wed, 10 May 2017 18:19:27 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=olaf@aepfle.de; spf=None smtp.mailfrom=olaf@aepfle.de; spf=None smtp.helo=postmaster@mo4-p00-ob.smtp.rzone.de Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of olaf@aepfle.de) identity=pra; client-ip=81.169.146.217; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="olaf@aepfle.de"; x-sender="olaf@aepfle.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of olaf@aepfle.de) identity=mailfrom; client-ip=81.169.146.217; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="olaf@aepfle.de"; x-sender="olaf@aepfle.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mo4-p00-ob.smtp.rzone.de) identity=helo; client-ip=81.169.146.217; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="olaf@aepfle.de"; x-sender="postmaster@mo4-p00-ob.smtp.rzone.de"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A0dvo0B8MCq+E0f9uRHKM819IXTAuvvDOBiVQ1KB4?= =?us-ascii?q?1+8cTK2v8tzYMVDF4r011RmSDNmds6oMotGVmpioYXYH75eFvSJKW713fDhBt/?= =?us-ascii?q?8rmRc9CtWOE0zxIa2iRSU7GMNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1?= =?us-ascii?q?Ifn+FpLPg8it2e2//5Lebx9UiDahfLh/MAi4oQLNu8cMnIBsMLwxyhzHontJf+?= =?us-ascii?q?RZ22ZlLk+Nkhj/+8m94odt/zxftPw9+cFAV776f7kjQrxDEDsmKWE169b1uhTF?= =?us-ascii?q?UACC+2ETUmQSkhpPHgjF8BT3VYr/vyfmquZw3jSRMMvrRr42RDui9b9mRhHohi?= =?us-ascii?q?kZKjA3827YhdBtg61Vux+hqABzzpTObY2JLvdzfKXQds4aS2pbWcZRUjRMDJq4?= =?us-ascii?q?b4QVAeoKIORWoJfnp1sPqxu+ChSnCeToyj9MnHD207Y33P4/HgHe0gwgG8wBvG?= =?us-ascii?q?7Jo9rrLaofV/2+wqrQzTjbbP5axC3x5JXJfx0lu/2AQL19fMvLxUUxCg/IjE2c?= =?us-ascii?q?pZL5Mz+Jy+gAtnKU4ut9We+qhWMqpAB8rSOqy8oukYbJiIwVx1XF+Ch23Yk5O9?= =?us-ascii?q?i1RFN/bNOnDZddsi6XOJZ3T84nXW1kpDg1x70AtJWmZiYF0o4nyATaa/Gfc4iH?= =?us-ascii?q?/BbjVOGJLDd9g3Jod6uzhw6u/US80+H8UdK73ExRripAjtnMrmoB1wbS68iATP?= =?us-ascii?q?ty4F2t1iuR2AzL6+FEJ147lbbDJpMi37I8jIcfvEXHEyPshUn7g66bel869uS1?= =?us-ascii?q?6enrerDmqYWdN49whAH+KKMumsmnDOQ/NggBRWab9P+m27L95U35TrFKgeMsnq?= =?us-ascii?q?bErp/WPd4bqbKhAw9JzoYj7A6yACu839QdmXkLNVZFeBOcj4j1IFzOO/D5DfKn?= =?us-ascii?q?g1u2ijtrxvbGPqfgAprXNHTDnq3hLv5B7BtXwQ83iNRe/I58C7cbIfu1VFWims?= =?us-ascii?q?bfC0oeNwW6i8bqEtR72ctKXmaGDIeQPbvctVLO6u95cLrEX5McpDuoc6tt3PXp?= =?us-ascii?q?l3JswVI=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DuAwBjPBNZgNmSqVFdgz+CNINps3EHi?= =?us-ascii?q?x9CFQEBAQEBAQEBAQEBEgEBCQsLCCYxgjMggmwEGQEBODshAhEFGCWKQQOxfGq?= =?us-ascii?q?BbDqDCQEBBYgHBwggiB2ISoJCL4Ixng95khUNbIoGC4ZulEM1gSwvIAgaFIc9d?= =?us-ascii?q?IkZAQEB?= X-IPAS-Result: =?us-ascii?q?A0DuAwBjPBNZgNmSqVFdgz+CNINps3EHix9CFQEBAQEBAQE?= =?us-ascii?q?BAQEBEgEBCQsLCCYxgjMggmwEGQEBODshAhEFGCWKQQOxfGqBbDqDCQEBBYgHB?= =?us-ascii?q?wggiB2ISoJCL4Ixng95khUNbIoGC4ZulEM1gSwvIAgaFIc9dIkZAQEB?= X-IronPort-AV: E=Sophos;i="5.38,320,1491256800"; d="asc'?scan'208";a="223153946" Received: from mo4-p00-ob.smtp.rzone.de ([81.169.146.217]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 10 May 2017 18:19:26 +0200 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; t=1494433165; l=1171; s=domk; d=aepfle.de; h=Content-Disposition:Content-Type:MIME-Version:Subject:To:From:Date; bh=HB+0wve0FiQM7L4DpLz396WOfBM4w+6j35mW4XFmVjo=; b=K7I0+oPRjret7ZU6RTRM4LrCx0jA0q6lhL5WWUnxvEgZMqSXOZhyky5r9rYgYtps3z YG9PKAoJiRtdKTxTbCpdQ0+ohFellKZhQ6wN6/gAlPq2zZLicQ2ddhKwQecKslHyWt7G y3qWZVYnIG4+3KRFpjtyMApKoYsfqU1MaxQAU= X-RZG-AUTH: :P2EQZWCpfu+qG7CngxMFH1J+yackYocTD1iAi8x+OWi/zfN1cLnAYQz4nmZeN6QqzGixDMG9MK5JKf6ryhh8vXWMv2KV X-RZG-CLASS-ID: mo00 Received: from probook ([2001:a61:346b:7bff:64d2:1981:4d6:20e5]) by smtp.strato.de (RZmta 40.6 AUTH) with ESMTPSA id k0403bt4AGJPQ3q (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (curve secp521r1 with 521 ECDH bits, eq. 15360 bits RSA)) (Client did not present a certificate) for ; Wed, 10 May 2017 18:19:25 +0200 (CEST) Received: by probook (Postfix, from userid 1000) id CDB8D50BCC; Wed, 10 May 2017 18:19:24 +0200 (CEST) Date: Wed, 10 May 2017 18:19:24 +0200 From: Olaf Hering To: caml-list@inria.fr Message-ID: <20170510161924.GA14116@aepfle.de> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="C7zPtVaVf+AK4Oqc" Content-Disposition: inline User-Agent: Mutt/1.8.2 (7031) Subject: [Caml-list] filling function pointers with oasis --C7zPtVaVf+AK4Oqc Content-Type: text/plain; charset=utf-8 Content-Disposition: inline I'm trying to build virt-top with oasis 0.4.6. This works fine beside the fact that virt-top calls into optional components like xml-light/calendar/csv. Its custom Makefile builds these optional .ml files if they are present, and uses them when linking the executable. It looks like the linking fills the function pointers and the fuctionality can be used at runtime. In _oasis I tried to use 'Object', but this fails because each one creates a META file. Does oasis support something like this (pseudo code)? x.ml: let ext_fn : (string -> float) ref = ref ( fun _ -> failwith (s_"X was compiled without support for ext_fn") ) x.mli: val ext_fn : (string -> float) ref x_ext.ml: X.ext_fn := fun arg -> let .... Thanks, Olaf --C7zPtVaVf+AK4Oqc Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iF0EARECAB0WIQSkRyP6Rn//f03pRUBdQqD6ppg2fgUCWRM9iAAKCRBdQqD6ppg2 fqzOAJ4ycEI3SBBaBXzFBK7s1DARSg99FgCeKtWjBaa9KiKKsAIIVkilzuDfUMI= =7iKV -----END PGP SIGNATURE----- --C7zPtVaVf+AK4Oqc--