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.0 required=5.0 tests=DNS_FROM_SECURITYSAGE autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 813E9BC58 for ; Mon, 20 Oct 2008 09:42:39 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApoDAC9k+UjAXQIniGdsb2JhbACKB4lgAQEBFSKscINs X-IronPort-AV: E=Sophos;i="4.33,438,1220220000"; d="scan'208";a="18248670" Received: from concorde.inria.fr ([192.93.2.39]) by mail3-smtp-sop.national.inria.fr with ESMTP; 18 Oct 2008 13:25:58 +0200 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m9IBPvrA030783 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Sat, 18 Oct 2008 13:25:58 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtgBAONk+UhRZ90vmmdsb2JhbACKB4lgAQEBAQEICwoHEQOsboNs X-IronPort-AV: E=Sophos;i="4.33,438,1220220000"; d="scan'208";a="30487443" Received: from mtaout01-winn.ispmail.ntl.com ([81.103.221.47]) by mail4-smtp-sop.national.inria.fr with ESMTP; 18 Oct 2008 13:25:29 +0200 Received: from aamtaout03-winn.ispmail.ntl.com ([81.103.221.35]) by mtaout01-winn.ispmail.ntl.com (InterMail vM.7.05.02.00 201-2174-114-20060621) with ESMTP id <20081018112528.KSCN2285.mtaout01-winn.ispmail.ntl.com@aamtaout03-winn.ispmail.ntl.com>; Sat, 18 Oct 2008 12:25:28 +0100 Received: from romulus.metastack.com ([81.102.132.77]) by aamtaout03-winn.ispmail.ntl.com (InterMail vG.2.02.00.01 201-2161-120-102-20060912) with ESMTP id <20081018112528.OLVI2093.aamtaout03-winn.ispmail.ntl.com@romulus.metastack.com>; Sat, 18 Oct 2008 12:25:28 +0100 Received: from countertenor (24.Red-213-97-64.staticIP.rima-tde.net [213.97.64.24]) (authenticated bits=0) by romulus.metastack.com (8.14.2/8.14.2) with ESMTP id m9IBPFI9005168 (version=TLSv1/SSLv3 cipher=RC4-MD5 bits=128 verify=NO); Sat, 18 Oct 2008 12:25:18 +0100 From: "David Allsopp" To: "=?iso-8859-1?Q?'Daniel_B=FCnzli'?=" , "'OCaml Mailing List'" References: <855F7D1EAAE948A5B3A08D27FA6D393F@countertenor> <8C149CFB-AE98-4BE2-A734-8DCB8CBD997D@erratique.ch> Subject: RE: [Caml-list] .annot files in 3.11 Date: Sat, 18 Oct 2008 13:25:13 +0200 Organization: MetaStack Solutions Ltd. Message-ID: <5F2E3D98080049679F3161F4BD089C7C@countertenor> MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable X-Mailer: Microsoft Office Outlook 11 Thread-Index: AckwffQIqVwWqGxIRZGucN0PsxgN/wAe624A In-Reply-To: <8C149CFB-AE98-4BE2-A734-8DCB8CBD997D@erratique.ch> X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.5579 X-Scanned-By: MIMEDefang 2.64 on 81.102.132.74 X-Cloudmark-Analysis: v=1.0 c=1 a=Pc01OX9EiOYA:10 a=E5TBNuBUtZX8jMBG68MA:9 a=VCb8scCG8DofwEdG5TjQHbXCTO4A:4 a=MxZ3bB5I4kYA:10 X-Miltered: at concorde with ID 48F9C7C5.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocamlopt:01 ocamlc:01 ocamlopt:01 caml-list:01 seems:03 seems:03 ecrit:06 release:09 creates:10 file:11 file:11 create:12 changes:12 however:13 however:13 > Le 17 oct. 08 =E0 11:25, David Allsopp a =E9crit : > > > Has anyone else found that ocamlopt in 3.11 seems to ignore the -=20 > > dtypes > > option? ocamlc creates .annot files as normal when passed -dtypes. > > According to the release notes -annot should now be used. However =20 > there's no annot tag for ocamlbuild could that please be added for =20 > 3.11 ? Stupidly, I forgot to read the Changes file so didn't know that I should = be saying -annot :$ However, neither -dtypes or -annot seems to make ocamlopt create a = .annot file...? David