From mboxrd@z Thu Jan  1 00:00:00 1970
X-Sympa-To: caml-list@inria.fr
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q270sLDF000774
	for <caml-list@sympa-roc.inria.fr>; Wed, 7 Mar 2012 01:54:21 +0100
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AqkCAK2wVk+KJV+Le2dsb2JhbAApGoMJsXoiAQEWJgUigX0BAQEDAUABATcBBAsLRlcGiBUFBAcpphyEKgGOYQaQDWObE40p
X-IronPort-AV: E=Sophos;i="4.73,542,1325458800"; 
   d="scan'208";a="134746946"
Received: from flan-planb.eecs.qmul.ac.uk ([138.37.95.139])
  by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 07 Mar 2012 01:54:16 +0100
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=eecs.qmul.ac.uk; s=beta;
	h=To:References:Message-Id:Content-Transfer-Encoding:Cc:Date:In-Reply-To:From:Content-Type:Mime-Version:Subject; bh=FmjdTP/s/Krrzp5v43P9YFFHMKPrQ1Vdr4OMmBrdxbo=;
	b=bfw8vWLnR+4cit8BWXIaCVWYGFxHZVP4J9M2OlScR2f2Q1gYiT10dSINGYAWep7UTqpb8Z9p7/U6Yp+aMLNxeArlGIWgoDLizuv0B4Bn8eznmhHZo8YRkCVoQDd0cegqWMjKae+nh7OGTMeoakHyMnVAQmWdmZW/vRInP9gnu3E=;
Received: from cpc21-cmbg15-2-0-cust145.5-4.cable.virginmedia.com ([82.27.236.146] helo=[192.168.0.2])
	by smtp.eecs.qmul.ac.uk:587 with esmtpsa (TLSv1:AES128-SHA:128)
	authenticated as berdine (person) (Exim 4.76_RC2)
	(envelope-from <jberdine@acm.org>)
	id 1S558x-0002ns-D6; Wed, 07 Mar 2012 00:54:15 +0000
Mime-Version: 1.0 (Apple Message framework v1257)
Content-Type: text/plain; charset=iso-8859-1
From: Josh Berdine <jberdine@acm.org>
X-Mailer: 
In-Reply-To: <4F56A686.5090108@ens-lyon.org>
Date: Wed, 7 Mar 2012 00:54:14 +0000
Cc: OCaml Mailing List <caml-list@inria.fr>
Message-Id: <80A54E65-AFE1-4791-84AD-A83DE80ECC28@acm.org>
References: <4F56A686.5090108@ens-lyon.org>
To: Martin Jambon <martin.jambon@ens-lyon.org>
Content-Transfer-Encoding: 8bit
X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id q270sLDF000774
X-Validation-by: jberdine@acm.org
Subject: Re: [Caml-list] ocamlopt -g

In some cases ocamlopt -g disabled some optimizations.  This now seems to be fixed in 3.13, see http://caml.inria.fr/mantis/view.php?id=5426 .

Cheers,  Josh


> 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