From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id PAA10526; Tue, 11 Jun 2002 15:09:47 +0200 (MET DST)
X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id PAA10288 for <caml-list@pauillac.inria.fr>; Tue, 11 Jun 2002 15:09:46 +0200 (MET DST)
Received: from feu.irisa.fr (feu.irisa.fr [131.254.60.80])
	by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g5BD9j103708
	for <caml-list@inria.fr>; Tue, 11 Jun 2002 15:09:45 +0200 (MET DST)
Received: from lawson.irisa.fr (lawson.irisa.fr [131.254.12.46])
	by feu.irisa.fr (8.11.4/8.11.4) with ESMTP id g5BD98I04060;
	Tue, 11 Jun 2002 15:09:08 +0200 (MET DST)
Date: Tue, 11 Jun 2002 15:09:08 +0200 (MET DST)
From: Laurent Vibert <lvibert@irisa.fr>
To: Jacques Garrigue <garrigue@kurims.kyoto-u.ac.jp>
cc: frisch@clipper.ens.fr, caml-list@inria.fr
Subject: Re: [Caml-list] Comments on type variables
In-Reply-To: <20020607192355Y.garrigue@kurims.kyoto-u.ac.jp>
Message-ID: <Pine.GSO.4.21.0206111456550.432-100000@lawson.irisa.fr>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
X-MailScanner: Found to be clean
Sender: owner-caml-list@pauillac.inria.fr
Precedence: bulk

On Fri, 7 Jun 2002, Jacques Garrigue wrote:

> > Interaction with local modules
> > ------------------------------
> > 
> > Inside a local module, type variables introduced outside the module are
> > invisible:
> > 
> > # let f (x : 'a) =
> >     let module M = struct type t = 'a list end in ();;
> > Unbound type parameter 'a
> 
> To be expected by the rules above. Functions with local modules are
> not functors. 'a is not a type constructor.

this has a draw-back : some local modules don't have any valid
signature :
for exemple, what is the signature of the module M ?

let f (x:'a) = 
  let module M = struct let v = x end
  in ...

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners