Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] inference engine
[ 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] inference engine
On Sun, 2003-09-14 at 19:48, Alain.Frisch@ens.fr wrote:
> On 14 Sep 2003, skaller wrote:

> > in particular, in the case like:
> >
> > 	let rec f1 (x1:t1):r1 = ..
> > 	and f2 (x2:t2):r2 = ...
> > 	and f3 (x2:t3):r3 = ..
> > 	...
> > 	and f999 (x999:t999):r999 = ...
> >
> > the fact the the constraints t1, r1, t2, t2, ..
> > are not applied until after the whole recursion
> > is typed
> 
> Again, this is wrong.

Hmm, well the examples are invented to be like
actual code I have. So perhaps I'm not understanding
why I'm getting the false errors sometimes.


-------------------
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