From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: weis Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id QAA29926 for caml-redistribution; Wed, 2 Feb 2000 16:04:07 +0100 (MET) 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 CAA26220 for ; Wed, 2 Feb 2000 02:36:24 +0100 (MET) Received: from ot-link.ot.com.au ([203.5.3.1]) by nez-perce.inria.fr (8.8.7/8.8.7) with SMTP id CAA22729 for ; Wed, 2 Feb 2000 02:35:28 +0100 (MET) Received: (qmail 16421 invoked from network); 2 Feb 2000 01:34:35 -0000 Received: from unknown (HELO druid.in.ot.com.au) (203.5.4.202) by 203.5.3.1 with SMTP; 2 Feb 2000 01:34:35 -0000 Received: (qmail 26512 invoked from network); 2 Feb 2000 01:32:41 -0000 Received: from merlin.in.ot.com.au (HELO in.ot.com.au) (203.5.4.26) by druid.in.ot.com.au with SMTP; 2 Feb 2000 01:32:41 -0000 Sender: weis Message-ID: <38978ABF.7898BDB6@in.ot.com.au> Date: Wed, 02 Feb 2000 12:39:11 +1100 From: Max Skaller Organization: Open Telecommunications Ltd X-Mailer: Mozilla 4.61 [en] (X11; I; Linux 2.2.12-20 i686) X-Accept-Language: en MIME-Version: 1.0 To: caml-list@inria.fr Subject: Module naming Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit I'm confused: why doesn't this work? [I get unbound type ctor message] [shortened version] module type X = sig type one end module type Y = sig type two end module type XY = sig module type XX = X module type YY = Y end module type Client = functor (T: XY) -> sig val f: T.XX.one -> unit end ^^^^^^^^ What I expected was that T.XX.one would refer to the type X.one, but this doesn't seem to be the case. -- John (Max) Skaller at OTT [Open Telecommications Ltd] mailto:maxs@in.ot.com.au -- at work mailto:skaller@maxtal.com.au -- at home