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 MAA14501; Wed, 12 Sep 2001 12:25:53 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 MAA14496 for ; Wed, 12 Sep 2001 12:25:52 +0200 (MET DST) Received: from mrwall.kal.com (mrwall.kal.com [194.193.14.236]) by concorde.inria.fr (8.11.1/8.10.0) with SMTP id f8CAPpD04488 for ; Wed, 12 Sep 2001 12:25:51 +0200 (MET DST) Received: from mrwall.kal.com [194.193.14.236] (HELO localhost) by mrwall.kal.com (AltaVista Mail V2.0J/2.0J BL25J listener) id 0000_0052_3b9f_38d3_981a; Wed, 12 Sep 2001 11:28:35 +0100 MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Subject: RE: [Caml-list] Style question content-class: urn:content-classes:message X-MimeOLE: Produced By Microsoft Exchange V6.0.4417.0 Date: Wed, 12 Sep 2001 11:24:38 +0100 Message-ID: <8E31D6933A2FE64F8AE3CC1381EEDCE71040C0@NT.kal.com> Thread-Topic: [Caml-list] Style question Thread-Index: AcE5cyk0RK3+JXngR5OGiCkyOvjfSQCAftMA From: "Dave Berry" To: "Brian Rogoff" , Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk It's certainly not a style I would consider using in SML itself. I haven't written enough OCaml code to say how I would write this in OCaml. My preferred solution would be simply to allow a "local" prefix to any declaration, which would indicate that that entity would not be visible outside the current scope. Dave. -----Original Message----- From: Brian Rogoff [mailto:bpr@best.com] Sent: 09 September 2001 22:00 To: caml-list@inria.fr Subject: [Caml-list] Style question I've been hacking a bit with SML lately and I notice that a lot of SML code uses the local in end construct. Do SMLers who like this and wind up writing OCaml use modules for this? Something like module SomeDefs : sig end =3D struct end (* SomeDefs, or just use SomeDefs.f ... *) or is the slight extra verbosity a disincentive? It seems to me that all of the uses of local in SML can be handled can be handled by the module system in OCaml, and I don't even find the unsugared forms to be bad at all. -- Brian ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ 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/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr