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 TAA01424; Mon, 4 Mar 2002 19:03:43 +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 TAA02547 for caml-list@pauillac.inria.fr; Mon, 4 Mar 2002 19:03:43 +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 SAA01032 for ; Mon, 4 Mar 2002 18:10:27 +0100 (MET) Received: from ganymede.or.intel.com (jffdns01.or.intel.com [134.134.248.3]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g24HAQv00316 for ; Mon, 4 Mar 2002 18:10:26 +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 RAA06839 for ; Mon, 4 Mar 2002 17:10:24 GMT Received: from orsmsx26.jf.intel.com ([192.168.65.26]) by orsmsxvs040.jf.intel.com (NAVGW 2.5.1.16) with SMTP id M2002030409160418686 ; Mon, 04 Mar 2002 09:16:04 -0800 Received: by orsmsx26.jf.intel.com with Internet Mail Service (5.5.2653.19) id <1YPMLZHA>; Mon, 4 Mar 2002 09:10:23 -0800 Message-ID: From: "Harrison, John R" To: "'Andrzej M. Ostruszka'" , Caml List Cc: "Harrison, John R" Subject: RE: [Caml-list] Re: Toplevel question ... Date: Mon, 4 Mar 2002 09:10:16 -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 Tomasz Zielonka writes: > > Is there some alias in toplevel for the result of last evaluation so one > > could use it instead of retyping (there's no history completion :() and > > binding to some name? I don't think so, but I also wish there were. Some other implementations of ML automatically bind the result of the previous evaluation to a special identifier "it", treating an expression "E" as "let it = E". This is really useful if, like me, you work in the toplevel a lot and often want to evaluate ad hoc chains of dependent expressions. Even if the OCaml developers don't want to add this feature to the default toplevel, it must be very easy to support using Camlp4. Perhaps Daniel de Rauglaudre or another expert can tell us how? 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