Version française
Home     About     Download     Resources     Contact us    
Browse thread
Type from local module would escape its scope?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: skaller <skaller@u...>
Subject: Re: [Caml-list] Type from local module would escape its scope?
On Mon, 2006-07-03 at 15:51 +0200, Virgile Prevosto wrote:

> Because "'a -> unit" does not mean the same thing in both cases. In the
> case of Pervasives.ignore, it is a type scheme 

[]

> IIRC arguments can not have a generalized type of the form
> "forall 'a, 'a -> unit", but methods and record fields support such
> types

Nice explanation! Interesting comparison of
type schema vs. type variables.

-- 
John Skaller <skaller at users dot sf dot net>
Felix, successor to C++: http://felix.sf.net