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