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 KAA26852; Thu, 7 Mar 2002 10:24:55 +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 KAA27421 for caml-list@pauillac.inria.fr; Thu, 7 Mar 2002 10:24:54 +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 RAA09781 for ; Wed, 6 Mar 2002 17:48:47 +0100 (MET) Received: from ganymede.or.intel.com (jffdns01.or.intel.com [134.134.248.3]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g26Gmjv16118; Wed, 6 Mar 2002 17:48:45 +0100 (MET) Received: from orsmsxvs040.jf.intel.com (orsmsxvs040.jf.intel.com [192.168.65.206]) by ganymede.or.intel.com (8.9.1a+p1/8.9.1/d: relay.m4,v 1.52 2002/03/01 19:20:46 root Exp $) with SMTP id QAA16538; Wed, 6 Mar 2002 16:48:43 GMT Received: from orsmsx26.jf.intel.com ([192.168.65.26]) by orsmsxvs040.jf.intel.com (NAVGW 2.5.1.16) with SMTP id M2002030608542625619 ; Wed, 06 Mar 2002 08:54:26 -0800 Received: by orsmsx26.jf.intel.com with Internet Mail Service (5.5.2653.19) id ; Wed, 6 Mar 2002 08:48:43 -0800 Message-ID: From: "Harrison, John R" To: "'Mattias Waldau'" , "'Xavier Leroy'", "'Caml List'" Cc: zielony@cs.net.pl, "Harrison, John R" Subject: RE: [Caml-list] Toplevel question ... Date: Wed, 6 Mar 2002 08:48:39 -0800 MIME-Version: 1.0 X-Mailer: Internet Mail Service (5.5.2653.19) Content-Type: text/plain; charset="iso-8859-1" Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk | So, technically, it would be feasible to resurrect the Caml V3.1 | behavior: evaluating "expr ;;" at top-level binds the result | value to the name "it". Do others think that it would be useful? As I've said, I really like the "it" feature. It's also difficult to imagine anyone seriously objecting to it, given that the Caml Light misfeature of being unable to GC objects only accessible via overwritten toplevel bindings has been corrected. I hadn't noticed that change before, but I'm very pleased to see it. | (But I think that soon people would ask you to keep all the | lines, so that we would write it.(4) instead.) If some more elaborate solution like that were contemplated, I'd like an option to disable it or manually force forgetting and GC of earlier items. John. ------------------- 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/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners