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: | -- (:) |
| From: | Gabriel Kerneis <kerneis@p...> |
| Subject: | Re: [Caml-list] Why type inference fails in this code |
On Fri, Oct 09, 2009 at 10:22:18AM +0200, Virgile Prevosto wrote: > Well, I'm afraid this the other way round Yes, sorry, I should have checked before posting since I always get it wrong, confusing forall and exists. Regards, -- Gabriel