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 NAA19009; Tue, 3 Aug 2004 13:50:30 +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 NAA17602 for <caml-list@pauillac.inria.fr>; Tue, 3 Aug 2004 13:50:29 +0200 (MET DST)
Received: from psyche.kaba.or.jp (psyche.kaba.or.jp [202.249.19.1])
	by nez-perce.inria.fr (8.12.10/8.12.10) with ESMTP id i73BoREV016940
	for <caml-list@inria.fr>; Tue, 3 Aug 2004 13:50:28 +0200
Received: from mail.kaba.or.jp (cascade.kaba.or.jp [202.249.19.34])
	by psyche.kaba.or.jp (Postfix) with ESMTP id 0ABB822AF2
	for <caml-list@inria.fr>; Tue,  3 Aug 2004 20:50:26 +0900 (JST)
Received: from localhost (crossbill.kaba.or.jp [202.249.19.22])
	by mail.kaba.or.jp (Postfix) with ESMTP id BBFC249A6B
	for <caml-list@inria.fr>; Tue,  3 Aug 2004 20:50:25 +0900 (JST)
Date: Tue, 03 Aug 2004 20:50:25 +0900 (JST)
Message-Id: <20040803.205025.104127434.keiko@kaba.or.jp>
To: caml-list@inria.fr
Subject: [Caml-list] using arguments insides functors
From: nakata keiko <keiko@kaba.or.jp>
X-Mailer: Mew version 3.3 on Emacs 21.3 / Mule 5.0 (SAKAKI)
Mime-Version: 1.0
Content-Type: Text/Plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-Miltered: at nez-perce with ID 410F7C03.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)!
X-Loop: caml-list@inria.fr
X-Spam: no; 0.00; functors:01 functor:01 elt:01 struct:01 elt:01 functor:01 struct:01 sig:01 module:03 module:03 arguments:03 type:07 type:07 hello:15 code:15 
Sender: owner-caml-list@pauillac.inria.fr
Precedence: bulk

Hello,
why the following code does not get type checked ?

module type I = 
  sig 
    module type T
  end


module F = functor (Elt : I) ->
  struct
    module type T = Elt.T
    module F = functor (Elt : T) -> 
      struct 
	include Elt
      end
  end

Thanks,
Keiko

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