From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id UAA19784 for caml-red; Wed, 25 Oct 2000 20:53:41 +0200 (MET DST)
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id SAA00398 for <caml-list@pauillac.inria.fr>; Tue, 24 Oct 2000 18:47:03 +0200 (MET DST)
Received: from thresher.xpsystems.com (proxy.xpsystems.com [207.171.47.2])
	by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id e9OGkwv08745
	for <caml-list@inria.fr>; Tue, 24 Oct 2000 18:47:02 +0200 (MET DST)
Received: by THRESHER with Internet Mail Service (5.5.2650.21)
	id <VFDT7BTH>; Tue, 24 Oct 2000 09:48:17 -0700
Message-ID: <EDFD2A95EE7DD31187350090279C676701079FEF@THRESHER>
From: Brent Fulgham <brent.fulgham@xpsystems.com>
To: caml-list@inria.fr
Subject: RE: Strange type error
Date: Tue, 24 Oct 2000 09:47:09 -0700
X-Mailer: Internet Mail Service (5.5.2650.21)
Sender: weis@pauillac.inria.fr

> I had a similar problem some time ago. This strange behavior of O'Caml
> 3.00 was corrected in the CVS version:
> 
> ------------------------------------------------------
>         Objective Caml version 3.00
> 
> # type 'a section_path = { x : int; }
>     and mind_section_path = [ `MIND] section_path
>     ;;
> type [ `MIND] section_path = { x : int; }  constraint [ `MIND] = [
> `MIND]
> type mind_section_path = [ `MIND] section_path
> # 
> ------------------------------------------------------
>         Objective Caml version 3.00+8 (2000-06-30)
> 
> # type 'a section_path = { x : int; }
>     and mind_section_path = [ `MIND] section_path
>     ;;
>     type 'a section_path = { x : int; } 
> type mind_section_path = [ `MIND] section_path
> # 
> ------------------------------------------------------
> 

With this fix, and the ICFP-discovered bug fix, does anyone
think it's time to create a 3.01 tarball/binary distribution
as a "stable" release?

Thanks,

-Brent