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=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id B9AF0BBAF for ; Fri, 17 Oct 2008 11:25:21 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApUEAAj390jAXQImiGdsb2JhbACKB4lhAhYirmGDbA X-IronPort-AV: E=Sophos;i="4.33,430,1220220000"; d="scan'208";a="18855700" Received: from discorde.inria.fr ([192.93.2.38]) by mail1-smtp-roc.national.inria.fr with ESMTP; 17 Oct 2008 11:25:21 +0200 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m9H9PIjF001420 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Fri, 17 Oct 2008 11:25:21 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AuEBAFf290hRZ90wmmdsb2JhbACKB4lhAgIBCAsKBxEDrl6DbA X-IronPort-AV: E=Sophos;i="4.33,430,1220220000"; d="scan'208";a="16192003" Received: from mtaout02-winn.ispmail.ntl.com ([81.103.221.48]) by mail2-smtp-roc.national.inria.fr with ESMTP; 17 Oct 2008 11:25:21 +0200 Received: from aamtaout04-winn.ispmail.ntl.com ([81.103.221.35]) by mtaout02-winn.ispmail.ntl.com (InterMail vM.7.05.02.00 201-2174-114-20060621) with ESMTP id <20081017092520.GXZW21103.mtaout02-winn.ispmail.ntl.com@aamtaout04-winn.ispmail.ntl.com> for ; Fri, 17 Oct 2008 10:25:20 +0100 Received: from romulus.metastack.com ([81.102.132.77]) by aamtaout04-winn.ispmail.ntl.com (InterMail vG.2.02.00.01 201-2161-120-102-20060912) with ESMTP id <20081017092520.MAUC22934.aamtaout04-winn.ispmail.ntl.com@romulus.metastack.com> for ; Fri, 17 Oct 2008 10:25:20 +0100 Received: from countertenor (255.Red-83-34-174.dynamicIP.rima-tde.net [83.34.174.255]) (authenticated bits=0) by romulus.metastack.com (8.14.2/8.14.2) with ESMTP id m9H9PFWr030604 (version=TLSv1/SSLv3 cipher=RC4-MD5 bits=128 verify=NO) for ; Fri, 17 Oct 2008 10:25:17 +0100 From: "David Allsopp" To: "'OCaml Mailing List'" Subject: .annot files in 3.11 Date: Fri, 17 Oct 2008 11:25:13 +0200 Organization: MetaStack Solutions Ltd. Message-ID: <855F7D1EAAE948A5B3A08D27FA6D393F@countertenor> MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit X-Mailer: Microsoft Office Outlook 11 Thread-Index: AckwOkI+saOInvbFTTmlv1vNrpr0Fg== 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=uE5OsEqJft8CGepDHrAA:9 a=odfyA7rwgQO4mUHwjK9LMRNTffwA:4 a=2uiCRmbCp6AA:10 X-Miltered: at discorde with ID 48F859FE.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocamlopt:01 ocamlc:01 bug:01 seems:03 dev:04 creates:10 reports:11 ignore:13 david:14 david:14 files:18 files:18 anyone:21 when:22 else:22 Has anyone else found that ocamlopt in 3.11 seems to ignore the -dtypes option? ocamlc creates .annot files as normal when passed -dtypes. Are bug reports for the 3.11 wanted in 3.11+dev? David