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 753205D5 for ; Thu, 14 Jan 2021 21:42:46 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.79,347,1602540000"; d="asc'?scan'208";a="487165642" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 14 Jan 2021 22:42:43 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id EE066E03B5; Thu, 14 Jan 2021 22:42:43 +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 1CD10E00BF for ; Thu, 14 Jan 2021 22:42:38 +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=3AVu9WXxT8yN6NFMETPkWkEwz7t9psv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa6ybBWN2/xhgRfzUJnB7Loc0qyK6vGmATRLuMzb+DBaKdoQDkBD0Z?= =?us-ascii?q?1X1yUbQ+e9QXXhK/DrayFoVO9jb3RCu0+BDE5OBczlbEfTqHDhpRQbGxH4KBYn?= =?us-ascii?q?br+tQt2agMu4zf299IPOaAtUmjW9falyLBKrpgnNq8Uam4RvJrs1xxfTvndEZ+?= =?us-ascii?q?tayX52KV6Ngh3w4tu88IN5/ylfpv4s9dRMXbnmc6g9ULdVECkoP2cp6cPxqBLN?= =?us-ascii?q?VxGP5nwSUmUXlhpHHQ3I5wzkU5nyryX3qPNz1DGVMsPqQ780Xy+i77pwRx/zlC?= =?us-ascii?q?gHLT85/3rJhcF2kalWvQiupx17w47TfYGVKP9zdb7TcN8GWWZMWNtaWipcCY2+?= =?us-ascii?q?coQPFfIMM+hYoYfjulUArhW+CgawC+zyyDBFnXD20bEg3uk7DQ3KwA4tEtQTu3?= =?us-ascii?q?rUttX1M6ISXPirwanI1zXDbuhW2Sv66IjQchAuv+yHU65qfsrfx0kgDQfFjlGR?= =?us-ascii?q?qYf4OD6ayuQNs3Ka7+p7SeKvjHYnqwFvrTW03McjkIfJhowPxVDA8SV5wZw5Ks?= =?us-ascii?q?OlSENiZ9OvDZRfuT2AOYRsXsMiX39nuDw8yrAevZO3YTQGxYk6yxPeafGLbYiG?= =?us-ascii?q?7xP/WOuSIjp1mG9pdK+xiRuv7USs1PPxW8ap3FpWqidInN3BuH8N2hHX6sWKVv?= =?us-ascii?q?1w9Vqi1zaXzw3f9+5JLE8umaffNpIt2Lo9moYJvUjdECL7ll36gLKKekgq4OSk?= =?us-ascii?q?9eTqb7r8qpOCOYJ5ihvyProul8G5HO82KBIBX3KB9uS5zLDj/VP2QLFNjvAul6?= =?us-ascii?q?nWqpHaJcABqq6jGQBV3Igj5Ay7Dzei0dQUh2cILE9ddBKGiYjmJU3OLejlAfqw?= =?us-ascii?q?jFmgijNmy+3cMrDlHpnBNGbPnbnvcLpl7k5T0gszzdRR55JODbEBJer+VVPxtN?= =?us-ascii?q?zCDx85KBC0w+H/CNV9yIwTQniPDbWXMKPcq1CI4uYvI+iWaIALpTbxM+Il6OL2?= =?us-ascii?q?jX8lhV8derGk0ocNZ3C9GvRqOkGZYXv3gtcdCmoKpQo/TOnyiFKYSzJTZnCyX7?= =?us-ascii?q?g95j4hEo6mA53DFciRh+mK1SK/W5lXfXxuC1aWEH6ueZ/Xde0LbXe5ItVgiSAD?= =?us-ascii?q?TbisA7Uo2x+nsAv7g+5sLvDV4TEfrZLu/MJ86ePakRUzszFpWZfOm1qRRn15yz?= =?us-ascii?q?tbDwQ927py9BQkmwWzlJNgivkdLuR9ovZAUwM0L5nZlrcoEdn8VAvFetbPRUv0?= =?us-ascii?q?G4z7UwF0dco4xpo1W2g4G9imiUmTjS+jArtTjbWFCpUw9qOa0mWjf58hmUaD77?= =?us-ascii?q?EoihwdeuUKLXev3/Ut7QHdCYfNl0Tfmrv4Lak=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CTBQAKugBg/+laW5BihXlYIBIvhD+JB?= =?us-ascii?q?IguIIUbilQWjDcLAQMBCAUbEgIEAQGESgKBbh4HAQQ0EwIQAQEFAQEBAgEDAwQ?= =?us-ascii?q?BcIVhDII4IoMaAQQBIx0BATgECwtCAgIQR4NAgmYfAbALgTKDBQEBBoYZgToJg?= =?us-ascii?q?TiBU4QPT4MYg2pBPoFChCo+hQuCS4Jgg0ATgW44nTmbV4MBgRyIEpJqgRODOJ4?= =?us-ascii?q?MsQs1hEqBbSOBV00mTYJpCUcZDY4tF4RPgx+GWh8zNwIGAQkBAQMJViYTjDQBA?= =?us-ascii?q?Q?= X-IPAS-Result: =?us-ascii?q?A0CTBQAKugBg/+laW5BihXlYIBIvhD+JBIguIIUbilQWjDc?= =?us-ascii?q?LAQMBCAUbEgIEAQGESgKBbh4HAQQ0EwIQAQEFAQEBAgEDAwQBcIVhDII4IoMaA?= =?us-ascii?q?QQBIx0BATgECwtCAgIQR4NAgmYfAbALgTKDBQEBBoYZgToJgTiBU4QPT4MYg2p?= =?us-ascii?q?BPoFChCo+hQuCS4Jgg0ATgW44nTmbV4MBgRyIEpJqgRODOJ4MsQs1hEqBbSOBV?= =?us-ascii?q?00mTYJpCUcZDY4tF4RPgx+GWh8zNwIGAQkBAQMJViYTjDQBAQ?= X-IronPort-AV: E=Sophos;i="5.79,347,1602540000"; d="asc'?scan'208";a="370050421" X-MGA-submission: =?us-ascii?q?MDFDJfPHsf5FLEPOrwb3hwx8xHS9oy0Dyc9Fv2?= =?us-ascii?q?Xen8xrrwETxY5T7NYMzYXRfqf6cuCdapI2Yrd0qVB3L9s7NIvaKfZLnI?= =?us-ascii?q?maYm7b75qVMQ653nyAMVe3t6Zac6NnpinDRpCA3QO/R3igEmFxykoXaU?= =?us-ascii?q?ngICIiVBX07RTZl479WtZmQQ=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; 14 Jan 2021 22:42:37 +0100 Received: from localhost (25.235.254.103.dsl.dyn.mana.pf [103.254.235.25]) by mail.raffalli.eu (Postfix) with ESMTPSA id 0F59C6405C4 for ; Thu, 14 Jan 2021 22:42:03 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=raffalli.eu; s=mail; t=1610660556; bh=Y7v/7zNSFt8tf4rXQdAedyiY/RPOcBEByJNfYdkrDgg=; h=Date:From:To:Subject:References:In-Reply-To; b=SfmqZxi4dmtmsOS0/CTNcaBIVnzCwwqfLJWAlNjKnaZ+3LI3rWU8tJNfI0NSvMHNh 6OfQ6sBJHB9Nbh60h1DFnekvW2Cxg45lyBNicFgTychxUlw+OOAfj5UJbDmlXLyR0Y mfN7/AOq+IKe8bU+KBH9XQvApgLPheXgkmZDRdCiD1L6kqYK9ZgqA5u8yO+oLMQn2M ndTHhUnIPXJmNqJ65xvdynzCmDC+h4X4dq1vTLxKsRmwfoMJILXVlymDfnlSJgR2vx +VGh6tMxqB0+NYvBWS1sCMNkNPp0wbdtkntxMPYKBKJ+/fXYEkUn3eBjQhsIZTFP1b gGM4reCsPdmZA== Date: Thu, 14 Jan 2021 12:41:00 -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="TSx9yR8/o5Jz8DdC" Content-Disposition: inline In-Reply-To: Subject: Re: [Caml-list] functor inlining Reply-To: Christophe Raffalli X-Loop: caml-list@inria.fr X-Sequence: 18365 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: --TSx9yR8/o5Jz8DdC Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Le 21-01-14 12:31:46, Christophe Raffalli a =C3=A9crit : > > Hello > > I try to inline some module application. It works when > I compile with ocamlopt or ocamlc manually: > > ocamlopt -w a -warn-error a mat.ml test.ml > > But fails using dune: > > dune build Found the problem: dune is compiling with -opaque ... but could not find yet how to remove this option! > gives this error without flambda: > > File "test.ml", line 12, characters 18-52: > 12 | module FloatMat =3D 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 =3D Mat.Make [@inlined always] (Float) > ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ > Error (warning 55): Cannot inline: [@inlined] attribute was not used on t= his function application (the optimizer did not know what function was bein= g applied) > --TSx9yR8/o5Jz8DdC Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQEzBAABCgAdFiEEJ369adg37nCCF0BCVXIaPfvmsfAFAmAAumwACgkQVXIaPfvm sfC84gf/bG61LCKeoFYV/nDcoNFPhbqSdeKMhPnKdRjt6ublXjftZ364qryTtMQl 9ZMtP+LJAp5acuUmSvP26DAD/03hj/lgxojbwXxaFFwJwlEsItiWzX6HwVN7LMS/ AKy3+a73oC05+CfpRMYMrCK29QibswsGA+/4sbxDcdY8U0P3womabE1y5dWBTm5i wKnnKIiyPwdbIIhNMewoeQUn9iudk7fxpxR3pZsXSzIvpFzS9UrY860r3DDtRBmN EEpMUEzdGaZM4CZV5d1h/k1wC7aRAQ6+HWFV9UJRVhofC4SzEwGBwOsTrN9XX/tp yPLmqIdDFSNnyonbEGvB2983M/YSMQ== =JT74 -----END PGP SIGNATURE----- --TSx9yR8/o5Jz8DdC--