From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <darioteixeira@yahoo.com>
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=AWL,DNS_FROM_RFC_ABUSE,
	DNS_FROM_RFC_POST,DNS_FROM_RFC_WHOIS autolearn=disabled version=3.1.3
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 E511CBBAF
	for <caml-list@yquem.inria.fr>; Tue, 20 Jan 2009 18:48:16 +0100 (CET)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AokBAJmddUlDww/NkWdsb2JhbACOZYUiAQEBAQkLCgcRA6duj1UFAgGFcA
X-IronPort-AV: E=Sophos;i="4.37,295,1231110000"; 
   d="scan'208";a="22797572"
Received: from web111513.mail.gq1.yahoo.com ([67.195.15.205])
  by mail1-smtp-roc.national.inria.fr with SMTP; 20 Jan 2009 18:48:16 +0100
Received: (qmail 21931 invoked by uid 60001); 20 Jan 2009 17:48:14 -0000
DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws;
  s=s1024; d=yahoo.com;
  h=X-YMail-OSG:Received:X-Mailer:Date:From:Subject:To:Cc:In-Reply-To:MIME-Version:Content-Type:Content-Transfer-Encoding:Message-ID;
  b=VMR0Lcn5tJCMOEhO/Mz7fbPnwobzzhbg+MwZybnXks326L2nQZkvB7PeLPReShSEFcWWdHMdxSFCDM/55r0oZbsQyXAKlpyYoUQbdlCznInZX6tvekYa1lSc+9aGzoiLmWND0qEsoaFhKyE6SWskd9NHgje2kSOzc0IF8fSa0bc=;
X-YMail-OSG: 3BO9xhsVM1nwBSxiD.pmKSd1kK_m7SQGt.cgJ2MGMzp1OOi.Lz_1GglVCvTao6Uex0KpVW6RifGXUX_Ib1piO43Mz_85VNHSDpTyOng5I0dNHNCDhr7Ge2r1gg4k29przi4e8YaupG1bgufldxGohZyipU0worfu.5iOkUERnTCI66b4mxArDnkRMq1qfg--
Received: from [213.205.71.63] by web111513.mail.gq1.yahoo.com via HTTP; Tue, 20 Jan 2009 09:48:13 PST
X-Mailer: YahooMailWebService/0.7.260.1
Date: Tue, 20 Jan 2009 09:48:13 -0800 (PST)
From: Dario Teixeira <darioteixeira@yahoo.com>
Subject: Re: [Caml-list] Private types in 3.11, again
To: Jacques Carette <carette@mcmaster.ca>
Cc: caml-list@yquem.inria.fr
In-Reply-To: <49760A0C.5080204@mcmaster.ca>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
Message-ID: <908405.18633.qm@web111513.mail.gq1.yahoo.com>
X-Spam: no; 0.00; hmmm:01 bug:01 ocaml:01 bug:01 caml-list:01 variant:02 types:05 indeed:07 feasible:07 mean:08 i'm:09 fixable:13 kind:13 code:17 thanks:17 

Hi,

> Hmmm, a variant of your code may be exhibiting a bug in ocaml 3.11.0.

Thanks for the reply.  I'm kind of hoping it is indeed a bug, because
those are fixable and it would mean what I intend to do is feasible...

Best regards,
Dario Teixeira

=0A=0A=0A