> 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