Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
Why type inference fails in this code
[ Home ] [ Index: by date | by threads ]
[ Search: ]

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