From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q2706csB032412 for ; Wed, 7 Mar 2012 01:06:38 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvoBAFOmVk9CbwQdkGdsb2JhbABDgwmxeCIBAQEBCQkNBxQEI4JEOAI7FhgDAgECAUsNCAEBiAOmQZMTBpBwiFaSUI03 X-IronPort-AV: E=Sophos;i="4.73,542,1325458800"; d="scan'208";a="147923083" Received: from out5-smtp.messagingengine.com ([66.111.4.29]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 07 Mar 2012 01:06:33 +0100 Received: from compute4.internal (compute4.nyi.mail.srv.osa [10.202.2.44]) by gateway1.nyi.mail.srv.osa (Postfix) with ESMTP id 0EC2B21047 for ; Tue, 6 Mar 2012 19:06:32 -0500 (EST) Received: from frontend2.nyi.mail.srv.osa ([10.202.2.161]) by compute4.internal (MEProxy); Tue, 06 Mar 2012 19:06:32 -0500 DKIM-Signature: v=1; a=rsa-sha1; c=relaxed/relaxed; d= messagingengine.com; h=message-id:date:from:mime-version:to :subject:content-type:content-transfer-encoding; s=smtpout; bh=E RrhKMqfnmX6ANw7g/w2PIpLiWo=; b=Xq8NCOEZplwHvT7trUvRY4VAoJjIWYItU P/XVCnucCeQ8LsoIsSGuK4ZFGmw7Yi5wz18ZHrgVOC0MbIbSwYiX8p+8shjjaewX DFMLOwJdh/G9hGpC5Avjjb0hVqX/Vpt2VrbcawetllrpsMezsdCbBpOIotAeJFaC 9P9KLrMU/Y= X-Sasl-enc: m2izKq4VPcoXbLMgpswjPGi3yh+/Zka2C6JeMJJ5uP3a 1331078791 Received: from [192.168.1.206] (64-71-1-165.static.wiline.com [64.71.1.165]) by mail.messagingengine.com (Postfix) with ESMTPSA id BD6874824A3 for ; Tue, 6 Mar 2012 19:06:31 -0500 (EST) Message-ID: <4F56A686.5090108@ens-lyon.org> Date: Tue, 06 Mar 2012 16:06:30 -0800 From: Martin Jambon User-Agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.2.9) Gecko/20101023 Lightning/1.0b3pre Thunderbird/3.1.3 MIME-Version: 1.0 To: OCaml Mailing List Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Subject: [Caml-list] ocamlopt -g Dear all, Is there is any disadvantage of using -g with ocamlopt? A number of libraries are not compiled with -g and this prevents us from getting a complete stack backtrace when they raise an exception. Are there technical reasons for that, other than "this is an old library and we haven't touched the Makefile since ocamlopt offers -g"? Martin