From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id LAA12453 for caml-redistribution; Mon, 30 Jun 1997 11:34:14 +0200 (MET DST) 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 EAA01057 for ; Sat, 28 Jun 1997 04:54:36 +0200 (MET DST) Received: from dwarin.oit.umass.edu (freya.cs.umass.edu [128.119.40.195]) by nez-perce.inria.fr (8.8.5/8.7.3) with ESMTP id EAA22830 for ; Sat, 28 Jun 1997 04:54:31 +0200 (MET DST) Received: (from ajenkins@localhost) by dwarin.oit.umass.edu (8.8.5/8.8.5) id WAA02094; Fri, 27 Jun 1997 22:53:43 -0400 Date: Fri, 27 Jun 1997 22:53:43 -0400 Message-Id: <199706280253.WAA02094@dwarin.oit.umass.edu> From: "Adam P. Jenkins" MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit To: caml-list@inria.fr Subject: Scoping rules X-Mailer: VM 6.31 under Emacs 19.34.1 Sender: weis Hi, Am I right that in Caml/O'Caml, exceptions and open statements always occur at top-level (by top-level I mean not in a let .. in block)? What I mean is: in SML one can say let open List exception LocalExc of string in (* in here List is open and I can use LocalExc *) There doesn't seem to be any equivalent in Caml. Just checking if I'm missing something. I realize that the scope of "open" and exception can be limited to a structure, but I was looking for an even smaller scope. Thanks. Adam -- Adam P. Jenkins mailto:ajenkins@cs.umass.edu