Version française
Home     About     Download     Resources     Contact us    
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: -- (:)
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