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 4473D5D5 for ; Fri, 15 Jan 2021 03:58:17 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.79,348,1602540000"; d="asc'?scan'208";a="487186910" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 15 Jan 2021 04:58:14 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 7C440E0DE9; Fri, 15 Jan 2021 04:58:14 +0100 (CET) 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 C35CAE0FB5 for ; Fri, 15 Jan 2021 04:58:07 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=christophe@raffalli.eu; spf=Pass smtp.mailfrom=christophe@raffalli.eu; spf=None smtp.helo=postmaster@mail.raffalli.eu IronPort-PHdr: =?us-ascii?q?9a23=3Ag6/pZhCjnt7zJQ6Ks5IQUyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSPT8r8bcNUDSrc9gkEXOFd2Cra4d2qyO6uu+AyRAuc/H7CldNsQUFlcsso?= =?us-ascii?q?Y/p0QYGsmLCEn2frbBThcRO4B8bmJj5GyxKkNPGczzNBX4q3y26iMOSF2kbVIm?= =?us-ascii?q?buv6FZTPgMupyuu854PcYxlShDq6fLh+MAi6oR/eu8ULhYZuMLo9xgbGrnZJZe?= =?us-ascii?q?hd2GdkKU6Okxrm6cq84Zxu/z5Mt/498sJLTLn3cbk/QbFEFjotLno75NfstRnN?= =?us-ascii?q?TAuP4mUTX2ALmRdWAAbL8Q/3UI7pviT1quRy1i+aPdbrTb8vQjSt871rSB7zhy?= =?us-ascii?q?gZMTMy7XzahdZxjKJfpxKhugB/zovJa4ybKPZyYqXQds4cSGFcXMheSjZBD5uy?= =?us-ascii?q?YYUPEeQPIOVWr4fyqFQSsBSxBxKhBOzzxjJSnHL6wbE23uYnHArb3AIgBdUOsH?= =?us-ascii?q?HModjrNKcSS+G1zLLUzTXEd/NW2Sny45XUfB87r/GMU6h/cc7VyUkuCgjIiUmf?= =?us-ascii?q?qYz/PzOUzeQNr2+b7/JgVe2xkGMnsRt+ojahxsg2jonJgoMVxkra+iVk2Ys4I8?= =?us-ascii?q?CzR0Fnb9C+CpRQqz2aOJVsQsMkW2xlvDs2xqEbtJKmfSUHyooryR7eZvCbcIWF?= =?us-ascii?q?4Q7uWPuMLTl2mX9pZKyzigi9/ES91uHxUse53VJFoCdFltTBtmwA2hrO4caEUv?= =?us-ascii?q?tw5lqt1DmA2gzJ7uxIPFo4mK7HJ5I73LI9mJQevVzeEiPqlkj6lrGae0Ur9+Sy?= =?us-ascii?q?9ejqbLXrqoWCO4J0jAz1L74gldalAesiNwgDR2ib9vq41L3k5UD5Ra9Fjvwykq?= =?us-ascii?q?XDqpDVP8obpqCjDA9R1oYj6gyzACm70NgAnHkHKkxKeA6fgoT0NFzDL+r0APOi?= =?us-ascii?q?j1i2lDpn2+rKMqPvD5jDNnTDla3ufbd5605S0gozytVf6opIBbEBOvLzW1TxtM?= =?us-ascii?q?DfDh8hMwy73f3qCM9n2YMQV2KAGKuZMKfTsVOS+O0vPvGAZJUJtzblN/gl+/nu?= =?us-ascii?q?gGclllAHeKmp2YIbaHS5HvR9P0WUemHsg9cEEWcSpAUyVu3qiFuYUT5SfXm+Ra?= =?us-ascii?q?w85itoQL6hWIzKQ4TohL2awA+6GIdXbyZIEAOiC3DtIq6EQfYXdCWKIsIpqDUK?= =?us-ascii?q?W7GlT45pgRqurg7h171/Luf84CQWu5vn0Nkz6vCFxkJ6ziB9E8nIizLFdGpzhG?= =?us-ascii?q?5dH2ZqjpA6mlR0zxK46YY9m+ZRTIcB/fpHXA4+MZ+awvEoU4mvCDKERc+ATROd?= =?us-ascii?q?evvjATw1SYthkdoHYkI7AdysgBnH2yvsDqJHz+XaVqxxybrV2j3KH+g4zn/H0K?= =?us-ascii?q?c7iFx/GZlVPGOoj6p79k7eGtyQng=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BCBQAmEgFg/+laW5BihXlYIBIvhD+JB?= =?us-ascii?q?IhOhRuKVIxNCwEDAQgFGxICBAEBhEoCgW4eBwEENBMCEAEBBQEBAQIBAwMEAXC?= =?us-ascii?q?FYQyCOCKDGgEEASMdAQE4DwtCAgIQR4NAgmYfAa9CgTKDBQEBBoYggToJgTiBU?= =?us-ascii?q?4d2g2pBPoFChCo+hQuCS4Jgg0ATTIEiOJ05m1eDAYEciBKSaoETgzieDLFAhEq?= =?us-ascii?q?BbSOBV00mTYJpCUcZDY4tF4RPgx+GWh8zNwIGCgEBAwlWJhOLdAEB?= X-IPAS-Result: =?us-ascii?q?A0BCBQAmEgFg/+laW5BihXlYIBIvhD+JBIhOhRuKVIxNCwE?= =?us-ascii?q?DAQgFGxICBAEBhEoCgW4eBwEENBMCEAEBBQEBAQIBAwMEAXCFYQyCOCKDGgEEA?= =?us-ascii?q?SMdAQE4DwtCAgIQR4NAgmYfAa9CgTKDBQEBBoYggToJgTiBU4d2g2pBPoFChCo?= =?us-ascii?q?+hQuCS4Jgg0ATTIEiOJ05m1eDAYEciBKSaoETgzieDLFAhEqBbSOBV00mTYJpC?= =?us-ascii?q?UcZDY4tF4RPgx+GWh8zNwIGCgEBAwlWJhOLdAEB?= X-IronPort-AV: E=Sophos;i="5.79,348,1602540000"; d="asc'?scan'208";a="370061317" X-MGA-submission: =?us-ascii?q?MDFB8a07p5WWPAbSuKYlVKRdMY/KrJAxIUbkpj?= =?us-ascii?q?5FsjPnF13nPJMCs6o4w6+uaTO6LbdVMKAL9Jm/9eR3VmsMskFd7j8EFB?= =?us-ascii?q?oZTFj6gR4GKztEioVxbJTZp8Wv9jDrArHP8P/LyGM+OLI3b5cnycHWDX?= =?us-ascii?q?M/r6Jt8qgGzEofKBjcHWJDuA=3D=3D?= Received: from vmi311709.contaboserver.net (HELO mail.raffalli.eu) ([144.91.90.233]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 15 Jan 2021 04:58:07 +0100 Received: from localhost (25.235.254.103.dsl.dyn.mana.pf [103.254.235.25]) by mail.raffalli.eu (Postfix) with ESMTPSA id 0AE1E6403FE for ; Fri, 15 Jan 2021 04:57:34 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=raffalli.eu; s=mail; t=1610683060; bh=h0N7wpxfGLxkBYUdNY+4Rhw6XLghgIGwktjwoDJKr2E=; h=Date:From:To:Subject:References:In-Reply-To; b=S0FbaV9E7DXnwbnTGgh7K2CdpnpsJuq/femeXU4mDuNv6EtMtKVjl/x5kHGtEhZpf sZ+EM8CKaNRXQmxfIs86SM1ggqCkLkvoA3FvL26gMxlrVG3rhxlrDNmgPA79HO1lww 4rExXT2T0rdA7yDQoib3b2cKYZTVt2NWQUSIFx6HtuN+wUowqpUrrBDgt1Ia5WL7s+ onKGa2xZTcKzXjfZmffo9F5VF+IRVKsZT1JkITnagXCR0g/VM9BhqVFZ/WT/In7jHa A1rH/UGQop5mcXPjD/72FTRje5hyex7TuVyCXsbC/Dw3dVzcuTFBQy5y6Q8m4RWvZx PavAZt3+HiJNA== Date: Thu, 14 Jan 2021 18:57:03 -0900 From: Christophe Raffalli To: caml-list@inria.fr Message-ID: References: MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha512; protocol="application/pgp-signature"; boundary="mE9Mo57crDbWLh0C" Content-Disposition: inline In-Reply-To: Subject: Re: [Caml-list] functor inlining Reply-To: Christophe Raffalli X-Loop: caml-list@inria.fr X-Sequence: 18366 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: --mE9Mo57crDbWLh0C Content-Type: text/plain; charset=utf-8 Content-Disposition: inline > > > > But fails using dune: > > > > dune build > > Found the problem: dune is compiling with -opaque ... but could > not find yet how to remove this option! dune build --release ... A bit annoying still, I will fill an issue on dune's github. > > gives this error without flambda: > > > > File "test.ml", line 12, characters 18-52: > > 12 | module FloatMat = Mat.Make [@inlined always] (Float) > > ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ > > Error (warning 55): Cannot inline: Unknown function > > > > and this error with flambda: > > > > File "test.ml", line 12, characters 18-52: > > 12 | module FloatMat = Mat.Make [@inlined always] (Float) > > ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ > > Error (warning 55): Cannot inline: [@inlined] attribute was not used on this function application (the optimizer did not know what function was being applied) > > --mE9Mo57crDbWLh0C Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQEzBAABCgAdFiEEJ369adg37nCCF0BCVXIaPfvmsfAFAmABEooACgkQVXIaPfvm sfAHtggAldgHD3k3JuZJJRrQmhzoLg6/xVI7qcIjp4uuTEu94784ckFM0Tg95wqp vmAiwxzKabLpnSQGgt+POvCD9L++VDxTr23KVsOTWa9eJFaq/MHbbNg6dreskHYa DLP7DhYITcseCgAr4OfmLlI+LYhvMPa9kAWbW97oZRhb+5oEZUelNcpjcWBCdlZH K+2eTbcKRLFj0zb+RDJP9tusTaGjv66vBHz80BOpGZRQiU44MzOgTZ3DcmSmB/q9 RJuCaGdeMXnUhwThpf6t6JWjU+Nsj8LLu0eygd3cIXhEkFR7wnkTcuk9q16pLIiX EJ6BCGfJdj+arJJQwABhEU3zxnZ5sQ== =XUZ+ -----END PGP SIGNATURE----- --mE9Mo57crDbWLh0C--