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 JAA11070; Thu, 22 Mar 2001 09:17:17 +0100 (MET) Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id JAA10304 for caml-list@pauillac.inria.fr; Thu, 22 Mar 2001 09:17:16 +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 TAA29380 for ; Wed, 21 Mar 2001 19:20:11 +0100 (MET) Received: from isil.pgh.arsdigita.com (fw1.pgh.arsdigita.com [63.124.128.66]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id f2LIKAj20152 for ; Wed, 21 Mar 2001 19:20:10 +0100 (MET) Received: (from jmp@localhost) by isil.pgh.arsdigita.com (8.11.2/8.11.2/SuSE Linux 8.11.1-0.5) id f2LNOQD04781; Wed, 21 Mar 2001 18:24:26 -0500 X-Authentication-Warning: isil.pgh.arsdigita.com: jmp set sender to jmp@arsdigita.com using -f To: Patrick M Doane Cc: Chris Hecker , caml-list@inria.fr Subject: Re: [Caml-list] recursive modules redux, & interface files References: From: John Prevost In-Reply-To: Message-ID: User-Agent: Gnus/5.090001 (Oort Gnus v0.01) Emacs/21.0.91 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Date: 21 Mar 2001 18:24:20 -0500 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk >>>>> "pd" == Patrick M Doane writes: pd> This would mean that pd> module X : sig type t = int end = struct end pd> would be accepted, but pd> module X : sig type t end = struct end pd> would be rejected because the abstract field 't' is required pd> but missing. What about "module X : sig type t end = struct type t end", where values of the type can't actually be constructed? (Except possibly by C code.) John. ------------------- To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr