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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id E8A727F787 for ; Mon, 7 Nov 2016 18:32:55 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=christoph.hoeger@tu-berlin.de; spf=None smtp.mailfrom=christoph.hoeger@tu-berlin.de; spf=None smtp.helo=postmaster@mail.tu-berlin.de Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of christoph.hoeger@tu-berlin.de) identity=pra; client-ip=130.149.7.33; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="christoph.hoeger@tu-berlin.de"; x-sender="christoph.hoeger@tu-berlin.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of christoph.hoeger@tu-berlin.de) identity=mailfrom; client-ip=130.149.7.33; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="christoph.hoeger@tu-berlin.de"; x-sender="christoph.hoeger@tu-berlin.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail.tu-berlin.de) identity=helo; client-ip=130.149.7.33; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="christoph.hoeger@tu-berlin.de"; x-sender="postmaster@mail.tu-berlin.de"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AH4f26RBu+UtdW0nb0MziUyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSP3yoMbcNUDSrc9gkEXOFd2CrakV0ayH7+uwCSRAuc/H6y9SNsQUFlcsso?= =?us-ascii?q?Y/oU8JOIa9E0r1LfrnPWQRPf9pcxtbxUy9KlVfA83kZlff8TWY5D8WHQjjZ0Iu?= =?us-ascii?q?frymUt2as8Pi3Om3/9XOeAhSn3Lparp3KFCyrB7NnsgQm4prbKgrnEjnuHxNLs?= =?us-ascii?q?9W32JzOVWLnyHceMi95tY3+CRKuuk98NZAF6X9cqs1V5REEXEsPnox5cutuRSV?= =?us-ascii?q?HljH3WcVTmhDykkAOAPC9hyvBpo=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AzAABsuiBYhyEHlYJdHgYMgy4BAQEBA?= =?us-ascii?q?YEhUqQ6lFKCCIYkAoIJPxQBAQEBAQEBAQEBARIBAQEKCwkJHTCCMxiCFwEBBCN?= =?us-ascii?q?mCz8DAgJGEQYNBgIBAYhUBLFpgkCLNgwXDog7gliHEwstglwFmieDS4F5lHKGH?= =?us-ascii?q?o0qhAYegUyDJ4FpcYdKAQEB?= X-IPAS-Result: =?us-ascii?q?A0AzAABsuiBYhyEHlYJdHgYMgy4BAQEBAYEhUqQ6lFKCCIY?= =?us-ascii?q?kAoIJPxQBAQEBAQEBAQEBARIBAQEKCwkJHTCCMxiCFwEBBCNmCz8DAgJGEQYNB?= =?us-ascii?q?gIBAYhUBLFpgkCLNgwXDog7gliHEwstglwFmieDS4F5lHKGHo0qhAYegUyDJ4F?= =?us-ascii?q?pcYdKAQEB?= X-IronPort-AV: E=Sophos;i="5.31,606,1473112800"; d="asc'?scan'208";a="243961168" Received: from mail.tu-berlin.de ([130.149.7.33]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 07 Nov 2016 18:32:19 +0100 X-tubIT-Incoming-IP: 91.66.22.179 Received: from ip5b4216b3.dynamic.kabel-deutschland.de ([91.66.22.179] helo=[192.168.178.42]) by mail.tu-berlin.de (exim-4.84_2/mailfrontend-5) with esmtpa for id 1c3nmM-0000e9-7Z; Mon, 07 Nov 2016 18:32:19 +0100 References: <390aa113-a9eb-fce0-fe03-6a904ad053dd@tu-berlin.de> To: caml users From: =?UTF-8?Q?Christoph_H=c3=b6ger?= Organization: =?UTF-8?Q?Technische_Universit=c3=a4t_Berlin?= Message-ID: Date: Mon, 7 Nov 2016 18:32:17 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.4.0 MIME-Version: 1.0 In-Reply-To: Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="DsFwIkbEq2OW66JJr0qTpPu9pc4VRs1rM" X-PMX-Version: 6.0.0.2142326, Antispam-Engine: 2.7.2.2107409, Antispam-Data: 2016.11.7.172416 X-PMX-Spam: Gauge=IIIIIII, Probability=0%, Report='' Subject: Re: [Caml-list] Compile-time performance problem This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --DsFwIkbEq2OW66JJr0qTpPu9pc4VRs1rM Content-Type: multipart/mixed; boundary="Gxk5knkRLqVVLhJGtHKA0HxJSsNRlWh4M"; protected-headers="v1" From: =?UTF-8?Q?Christoph_H=c3=b6ger?= To: caml users Message-ID: Subject: Re: [Caml-list] Compile-time performance problem References: <390aa113-a9eb-fce0-fe03-6a904ad053dd@tu-berlin.de> In-Reply-To: --Gxk5knkRLqVVLhJGtHKA0HxJSsNRlWh4M Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Hi Nicolas, no, AFAIK 4.03.0 does not enable flambda by default. The 4.04beta2 I tried had a 4.04beta2+flambda right next to it, so I assume it also does not have flambda enabled. regards, Christoph Am 07.11.2016 um 18:18 schrieb Nicolas Ojeda Bar: > Hi Christoph, >=20 > Are you using flambda ?=20 >=20 > - Nicolas >=20 > 2016-11-07 18:07 GMT+01:00 Christoph H=C3=B6ger > >: >=20 > I just checked with 4.04beta2 and could not reproduce the problem. So= it > seems to be a 4.03.0 bug, but I could not find anything obviously > related in the 4.04 changelog. >=20 > -- > Christoph H=C3=B6ger >=20 > Technische Universit=C3=A4t Berlin > Fakult=C3=A4t IV - Elektrotechnik und Informatik > =C3=9Cbersetzerbau und Programmiersprachen >=20 > Sekr. TEL12-2, Ernst-Reuter-Platz 7, 10587 Berlin >=20 > Tel.: +49 (30) 314-24890 > E-Mail: christoph.hoeger@tu-berlin.de > >=20 >=20 --=20 Christoph H=C3=B6ger Technische Universit=C3=A4t Berlin Fakult=C3=A4t IV - Elektrotechnik und Informatik =C3=9Cbersetzerbau und Programmiersprachen Sekr. TEL12-2, Ernst-Reuter-Platz 7, 10587 Berlin Tel.: +49 (30) 314-24890 E-Mail: christoph.hoeger@tu-berlin.de --Gxk5knkRLqVVLhJGtHKA0HxJSsNRlWh4M-- --DsFwIkbEq2OW66JJr0qTpPu9pc4VRs1rM Content-Type: application/pgp-signature; name="signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 iEYEARECAAYFAlgguqEACgkQhMBO4cVSGS89cQCeJXH+d3ZW1c4n3jonmbJTZlmB ptYAoJrxv6eRHPuzUtrxBM0SUxqjolH9 =SiiC -----END PGP SIGNATURE----- --DsFwIkbEq2OW66JJr0qTpPu9pc4VRs1rM--