Browse thread
[Caml-list] inference engine
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ 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