Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] version 7 beta typing change?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: skaller <skaller@o...>
Subject: Re: [Caml-list] version 7 beta typing change?
On Sat, 2003-08-09 at 22:10, Jacques Garrigue wrote:
> From: skaller <skaller@ozemail.com.au>
> 
> > Code that compiled on 3.06 doesn't work on 3.07 beta1.
> > Is this a bug in the old typing, in the new typing, or what?
> 
> This is clearly a bug in the compiler.
> A more immediate way to see it is:
> 
> type 'a t = < m : 'a >
> type u = 'a t as 'a
> 
> This should be valid, but causes an error on beta1.
> 
> I've just commited a fix in CVS, so it might be nice if you can try
> the CVS version with your software.

will do..

> By the way, the preferred way to report bugs is through
> caml-bugs@pauillac.inria.fr :-)

This technique has several problems: its harder to use,
there is no community feedback. I'm happy to use that
mechanism when I'm *sure* there is a bug -- but it often
takes some discussion to be sure :-)


-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners