Archives of the Caml mailing list > Message from skaller

Browse thread

Type from local module would escape its scope?

Bruno De Fraine
- Jonathan Roewen
- Alain Frisch
- Virgile Prevosto
  - skaller
  - Bruno De Fraine
    - Jonathan Roewen
  - brogoff
    - Etienne Miret
    - Boris Yakobowski
- Jean-Marie Gaillourdet

Date:	2006-07-03 (14:24)
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