Version française
Home     About     Download     Resources     Contact us    
Browse thread
RE: Strange type error
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Brent Fulgham <brent.fulgham@x...>
Subject: RE: Strange type error
> 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