From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: ** X-Spam-Status: No, score=2.8 required=5.0 tests=AWL,DNS_FROM_RFC_POST, SPF_NEUTRAL autolearn=disabled version=3.1.3 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id F29ACBC37 for ; Thu, 18 Jun 2009 16:11:08 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtQCAG3nOUrRVdvXmGdsb2JhbACYJT8BAQEBAQgJDAcTpjyBGZBxAQMCBIQEBQ X-IronPort-AV: E=Sophos;i="4.42,245,1243807200"; d="scan'208";a="28312772" Received: from mail-ew0-f215.google.com ([209.85.219.215]) by mail2-smtp-roc.national.inria.fr with ESMTP; 18 Jun 2009 16:11:08 +0200 Received: by ewy11 with SMTP id 11so1500971ewy.9 for ; Thu, 18 Jun 2009 07:11:08 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:in-reply-to:references :date:message-id:subject:from:to:cc:content-type :content-transfer-encoding; bh=JlS3pmNWxwVaoLrm/5B61h7FbR0H9UZYYiJq3HBZrXk=; b=Kev4T5/VcUgppT2VrugSocaqmquPkTaOjeE4QmYXRCgnntH5N8v/kMyFgZk8CuFOt0 +ZoHvd0glb086iGfjsxm/MCY0+GfLQ5zbRJ0LiFqv2y4zqcmjWrMp7DLrhc4ha3HEYfB yWYS+fb+iblgsPW2WUkVWrLIQ37LhAjBoivFg= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type:content-transfer-encoding; b=FvgNFva95Kz414K6WoS6ZkEloywsp6lHaOA8G0vvdiwtfBVIvLLusNqmUqaqgLz7rz fpvnW4HexClM/Dsx+9T8ZFJgPv9DjSE/u6gxL1sXMUl0Cqc7UUiEyXDEF50vCNdH5jHy fKpkUhx+KcZggf4aM5oFthtN+PT72PBtPlWjI= MIME-Version: 1.0 Received: by 10.210.126.18 with SMTP id y18mr1882371ebc.31.1245334268439; Thu, 18 Jun 2009 07:11:08 -0700 (PDT) In-Reply-To: <20090618141002.GO7102@janestcapital.com> References: <4b39c80a0904230330r759d3429jae4146d2c2db7a36@mail.gmail.com> <20090423103430.GH29676@janestcapital.com> <4b39c80a0906180652p420fb6ffy7d063afb944f8ff9@mail.gmail.com> <20090618141002.GO7102@janestcapital.com> Date: Thu, 18 Jun 2009 16:11:08 +0200 Message-ID: <4b39c80a0906180711y32c9d090yb91adaa1a2e0b432@mail.gmail.com> Subject: Re: [Caml-list] ocamlopt debugging options From: Alexey Rodriguez To: Mark Shinwell Cc: caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Spam: no; 0.00; ocamlopt:01 shinwell:01 mangling:01 cheers:01 2009:98 wrote:01 symbolic:01 caml-list:01 debugging:03 thu:05 function:08 jun:09 although:11 but:14 mark:15 On Thu, Jun 18, 2009 at 4:10 PM, Mark Shinwell wrote: > > Exactly what form of symbolic name are you referring to? =A0Function name= s > are preserved (although they are mangled, but it's a lot easier to > decipher than C++ mangling). You are absolutely right. I was my own mistake, see the other message. Than= ks! Cheers, Alexey