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 JAA11116; Thu, 22 Mar 2001 09:17:52 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id JAA10674 for caml-list@pauillac.inria.fr; Thu, 22 Mar 2001 09:17:51 +0100 (MET) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id TAA29355 for ; Wed, 21 Mar 2001 19:19:45 +0100 (MET) Received: from localhost.localdomain (cartman59.zip.com.au [61.8.20.187]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f2LIJgL22179 for ; Wed, 21 Mar 2001 19:19:42 +0100 (MET) Received: from ozemail.com.au (IDENT:root@localhost [127.0.0.1]) by localhost.localdomain (8.9.3/8.8.7) with ESMTP id FAA04895; Thu, 22 Mar 2001 05:19:30 +1100 Message-ID: <3AB8F0B2.4D6DEF6F@ozemail.com.au> Date: Thu, 22 Mar 2001 05:19:30 +1100 From: John Max Skaller X-Mailer: Mozilla 4.7 [en] (X11; I; Linux 2.2.12-20 i686) X-Accept-Language: en MIME-Version: 1.0 To: Chris Hecker CC: caml-list@inria.fr Subject: Re: [Caml-list] recursive modules redux, & interface files References: Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Chris Hecker wrote: > > > There are only two options. [And non-local classes are _always_ extern] > > This is not so in Ocaml: you may wish to provide access to a component > > such as a function with a type more constrained than the actual > > implementation. > > Yes yes yes, I know this. I'm saying I understand why I need to type > stuff if there's a difference betwen the .ml and .mli versions (hiding > stuff, restricting stuff, abstracting stuff), and that's fine. I'm > asking why I need to retype stuff if it's identical. BTW: you DON'T actually need an .mli file. Try it. It is only needed when there IS a constraint on 'everything public'. -- John (Max) Skaller, mailto:skaller@maxtal.com.au 10/1 Toxteth Rd Glebe NSW 2037 Australia voice: 61-2-9660-0850 checkout Vyper http://Vyper.sourceforge.net download Interscript http://Interscript.sourceforge.net ------------------- To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr