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 3BA287F787 for ; Mon, 7 Nov 2016 18:18:40 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=nicolas.ojeda.bar@lexifi.com; spf=None smtp.mailfrom=nicolas.ojeda.bar@lexifi.com; spf=None smtp.helo=postmaster@vrout30.yaziba.net Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of nicolas.ojeda.bar@lexifi.com) identity=pra; client-ip=185.56.204.35; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="nicolas.ojeda.bar@lexifi.com"; x-sender="nicolas.ojeda.bar@lexifi.com"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of nicolas.ojeda.bar@lexifi.com) identity=mailfrom; client-ip=185.56.204.35; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="nicolas.ojeda.bar@lexifi.com"; x-sender="nicolas.ojeda.bar@lexifi.com"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@vrout30.yaziba.net) identity=helo; client-ip=185.56.204.35; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="nicolas.ojeda.bar@lexifi.com"; x-sender="postmaster@vrout30.yaziba.net"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3ARs6x2BL7VdPbL6X4YdmcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgUKfrxwZ3uMQTl6Ol3ixeRBMOAuqgC2rad4/CoGTRZp83e4DZaKN0EfiRGoP?= =?us-ascii?q?tVtjRoONSCB0z/IayiRA0BN+MGamVY+WqmO1NeAsf0ag6aiHSz6TkPBke3blIt?= =?us-ascii?q?dazdU7TfhMWv1u2054abI0AR3GL8MvtOK0CdrR/QrdURmYtVCjg+xwGB9nBIYe?= =?us-ascii?q?VN2WRwJRSTmBvz692Y4IMm+SlKv/MnscJNB/bUZaM9GJpZBzMiOnt9w8/muRCL?= =?us-ascii?q?ZwKVri8aU24RlhNTRQ/H4R3zGJ34qAP+u/p81ijcNsrzG+NnEQ++5rtmHUe7wB?= =?us-ascii?q?wMMCQ0pSSO0pR9?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DCAQDxtiBY/yPMOLldHAEBBAEBCgEBF?= =?us-ascii?q?wEBBAEBCgEBgwMBAQEBAYFzB40xlwKUUoIIhiQCggJGFAEBAQEBAQEBAQEBYSi?= =?us-ascii?q?CMwQBFQEEghABAQMBEhFWBQsLBAEGNwICIhIBBQEcBhMiiC4IBAGjc4EyPzKLT?= =?us-ascii?q?4JAizYBAQEBAQUBAQEBAQEBIIsTh0uCXAWaJ5BEkBCNKoJDEx6BEAIeN2MyhRB?= =?us-ascii?q?xhXyBTgEBAQ?= X-IPAS-Result: =?us-ascii?q?A0DCAQDxtiBY/yPMOLldHAEBBAEBCgEBFwEBBAEBCgEBgwM?= =?us-ascii?q?BAQEBAYFzB40xlwKUUoIIhiQCggJGFAEBAQEBAQEBAQEBYSiCMwQBFQEEghABA?= =?us-ascii?q?QMBEhFWBQsLBAEGNwICIhIBBQEcBhMiiC4IBAGjc4EyPzKLT4JAizYBAQEBAQU?= =?us-ascii?q?BAQEBAQEBIIsTh0uCXAWaJ5BEkBCNKoJDEx6BEAIeN2MyhRBxhXyBTgEBAQ?= X-IronPort-AV: E=Sophos;i="5.31,606,1473112800"; d="scan'208,217";a="243958742" Received: from vrout30-bl.yaziba.net (HELO vrout30.yaziba.net) ([185.56.204.35]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 07 Nov 2016 18:18:39 +0100 Received: from mtaout20.int.yaziba.net (mtaout20.int.yaziba.net [10.4.20.37]) (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits)) (No client certificate requested) by vrout30.yaziba.net (mx10.yaziba.net) with ESMTPS id 313C85201B for ; Mon, 7 Nov 2016 18:18:39 +0100 (CET) Received: from localhost (localhost [127.0.0.1]) by mtaout20.int.yaziba.net (Postfix) with ESMTP id 337F31603D2 for ; Mon, 7 Nov 2016 18:18:39 +0100 (CET) X-Virus-Scanned: amavisd-new at mtaout20.int.yaziba.net Received: from mtaout20.int.yaziba.net ([127.0.0.1]) by localhost (mtaout20.int.yaziba.net [127.0.0.1]) (amavisd-new, port 10026) with ESMTP id T0f0UaquVYDQ for ; Mon, 7 Nov 2016 18:18:39 +0100 (CET) Received: from mail-qt0-f175.google.com (mail-qt0-f175.google.com [209.85.216.175]) by mtaout20.int.yaziba.net (Postfix) with ESMTPSA id 093BC160349 for ; Mon, 7 Nov 2016 18:18:39 +0100 (CET) Received: by mail-qt0-f175.google.com with SMTP id w33so91292678qtc.3 for ; Mon, 07 Nov 2016 09:18:38 -0800 (PST) X-Gm-Message-State: ABUngvfAHqWvATmYovDa+ze0EWDX9CjSH7/9M5IF37uGnkr8oB+e4+DmwnnxMrwpa/MTFa3zjmefiZ8v6uSPug== X-Received: by 10.237.43.33 with SMTP id p30mr8308812qtd.5.1478539117948; Mon, 07 Nov 2016 09:18:37 -0800 (PST) MIME-Version: 1.0 Received: by 10.237.53.118 with HTTP; Mon, 7 Nov 2016 09:18:17 -0800 (PST) In-Reply-To: <390aa113-a9eb-fce0-fe03-6a904ad053dd@tu-berlin.de> References: <390aa113-a9eb-fce0-fe03-6a904ad053dd@tu-berlin.de> From: Nicolas Ojeda Bar Date: Mon, 7 Nov 2016 18:18:17 +0100 X-Gmail-Original-Message-ID: Message-ID: To: =?UTF-8?Q?Christoph_H=C3=B6ger?= Cc: OCaml Mailing List Content-Type: multipart/alternative; boundary=94eb2c125324e974a90540b936f4 X-DRWEB-SCAN: ok X-VRSPAM-SCORE: -100 X-VRSPAM-STATE: legit X-VRSPAM-CAUSE: gggruggvucftvghtrhhoucdtuddrfeelvddrleeggdellecutefuodetggdotefrucfrrhhofhhilhgvmecuggftfghnshhusghstghrihgsvgenuceurghilhhouhhtmecufedttdenucesvcftvggtihhpihgvnhhtshculddquddttddmnecujfgurhepjghfhfffkffuvfgtsegrtderredttdejnecuhfhrohhmpefpihgtohhlrghsucfqjhgvuggruceurghruceonhhitgholhgrshdrohhjvggurgdrsggrrheslhgvgihifhhirdgtohhmqeenucfkphepvddtledrkeehrddvudeirddujeehnecurfgrrhgrmhepmhhouggvpehsmhhtphhouhht X-VRSPAM-EXTCAUSE: mhhouggvpehsmhhtphhouhht Subject: Re: [Caml-list] Compile-time performance problem --94eb2c125324e974a90540b936f4 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Hi Christoph, Are you using flambda ? - Nicolas 2016-11-07 18:07 GMT+01:00 Christoph H=C3=B6ger : > 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. > > -- > 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 > > --94eb2c125324e974a90540b936f4 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Hi Christoph,

Are you using flambda ?= =C2=A0

- Nicolas

2016-11-07 18:07 GMT+01:00 Christoph H= =C3=B6ger <christoph.hoeger@tu-berlin.de>:
I just checked with 4.04beta2 and could not re= produce 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.

--
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@t= u-berlin.de


--94eb2c125324e974a90540b936f4--