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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id 4C49A7EE1A for ; Fri, 30 Nov 2012 14:31:45 +0100 (CET) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of christophe.raffalli@univ-savoie.fr) identity=pra; client-ip=193.48.126.73; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="christophe.raffalli@univ-savoie.fr"; x-sender="christophe.raffalli@univ-savoie.fr"; x-conformance=sidf_compatible Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of christophe.raffalli@univ-savoie.fr designates 193.48.126.73 as permitted sender) identity=mailfrom; client-ip=193.48.126.73; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="christophe.raffalli@univ-savoie.fr"; x-sender="christophe.raffalli@univ-savoie.fr"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@dsi-mta-out.univ-savoie.fr) identity=helo; client-ip=193.48.126.73; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="christophe.raffalli@univ-savoie.fr"; x-sender="postmaster@dsi-mta-out.univ-savoie.fr"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: As8AAPe0uFDBMH5JmWdsb2JhbABEFr94Fg4BAQEBAQgLCwcUJ4IfAQVJLxELIRYPCQMCAQIBRQYBDAYCAQGIEAi/XYxAG4QmA45+gSGLTI1MgWs X-IronPort-AV: E=Sophos;i="4.84,191,1355094000"; d="asc'?scan'208";a="183980795" Received: from dsi-mta-out.univ-savoie.fr ([193.48.126.73]) by mail1-smtp-roc.national.inria.fr with ESMTP; 30 Nov 2012 14:31:23 +0100 Received: from localhost (localhost [127.0.0.1]) by dsi-mta-out.univ-savoie.fr (Postfix) with ESMTP id 900E030070; Fri, 30 Nov 2012 14:31:23 +0100 (CET) X-Virus-Scanned: Debian amavisd-new at dsi-a177.univ-savoie.fr Received: from dsi-mta-out.univ-savoie.fr ([127.0.0.1]) by localhost (dsi-mta-out.univ-savoie.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id ABrksg3qMyDO; Fri, 30 Nov 2012 14:31:23 +0100 (CET) Received: from dsi-mail-msa1.univ-savoie.fr (dsi-mail-msa1.univ-savoie.fr [193.48.126.83]) by dsi-mta-out.univ-savoie.fr (Postfix) with ESMTP id 79D8830065; Fri, 30 Nov 2012 14:31:23 +0100 (CET) Received: from localhost (localhost [127.0.0.1]) by dsi-mail-msa1.univ-savoie.fr (Postfix) with ESMTP id 48B111C076; Fri, 30 Nov 2012 14:31:23 +0100 (CET) X-Virus-Scanned: Debian amavisd-new at dsi-mail-msa1 Received: from dsi-mail-msa1.univ-savoie.fr ([127.0.0.1]) by localhost (dsi-mail-msa1.univ-savoie.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id Ne3FjHSxVzim; Fri, 30 Nov 2012 14:31:23 +0100 (CET) Received: from [193.48.123.45] (d45.lama.univ-savoie.fr [193.48.123.45]) by dsi-mail-msa1.univ-savoie.fr (Postfix) with ESMTPS id 31E001C054; Fri, 30 Nov 2012 14:31:23 +0100 (CET) Message-ID: <50B8B527.3020800@univ-savoie.fr> Date: Fri, 30 Nov 2012 14:31:19 +0100 From: Christophe Raffalli User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:16.0) Gecko/20121028 Thunderbird/16.0.2 MIME-Version: 1.0 To: Gabriel Scherer , Caml List References: <87625rhu04.fsf@golf.niidar.ru> <50B8AB75.5030508@univ-savoie.fr> In-Reply-To: X-Enigmail-Version: 1.4.5 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="------------enig705E06F9C91611A28EADDB83" X-Validation-by: christophe.raffalli@univ-savoie.fr Subject: Re: [Caml-list] ocamlc, ocamlopt stackoverflow on list This is an OpenPGP/MIME signed message (RFC 2440 and 3156) --------------enig705E06F9C91611A28EADDB83 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Le 30/11/2012 14:20, Gabriel Scherer a =E9crit : > My (entirely personal) understanding of the matter is that making > every part of the compiler tail-recursive is a pain in the ass, and I Think with list of size 30000 it might not be only a problem of tailrec (= it seems to fail to parse in fact with a difference error message with ocamlc and oc= amlc -pp camlp4o). Cheers, Christophe --=20 Christophe Raffalli Universite de Savoie Batiment Le Chablais, bureau 21 73376 Le Bourget-du-Lac Cedex tel: (33) 4 79 75 81 03 fax: (33) 4 79 75 87 42 mail: Christophe.Raffalli@univ-savoie.fr www: http://www.lama.univ-savoie.fr/~RAFFALLI --------------------------------------------- IMPORTANT: this mail is signed using PGP/MIME At least Enigmail/Mozilla, mutt or evolution can check this signature. The public key is stored on www.keyserver.net --------------------------------------------- --------------enig705E06F9C91611A28EADDB83 Content-Type: application/pgp-signature; name="signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://www.enigmail.net/ iEYEARECAAYFAlC4tSsACgkQi9jr/RgYAS5ZuwCgyzBEEi4tEfxxHM2tIqUygar4 7OcAoMaVKqvORSFr2rSIDjwHHowgB5QC =A8OY -----END PGP SIGNATURE----- --------------enig705E06F9C91611A28EADDB83--