Browse thread
Why type inference fails in this code
[
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: | 2009-10-09 (08:59) |
| From: | Gabriel Kerneis <kerneis@p...> |
| Subject: | Re: [Caml-list] Why type inference fails in this code |
On Fri, Oct 09, 2009 at 10:41:35AM +0200, Gabriel Kerneis wrote: > Yes, sorry, I should have checked before posting since I always get it > wrong, confusing forall and exists. And just in case someone else on this list does not understand (or remember) the difference, he should read the following thread: http://caml.inria.fr/pub/ml-archives/caml-list/2007/05/08f6ca7a2c045d2801f2a2cc0ae8aa63.en.html Enlighting! -- Gabriel