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 GAA09627; Thu, 20 Mar 2003 06:34:00 +0100 (MET) 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 GAA09234 for ; Thu, 20 Mar 2003 06:33:58 +0100 (MET) Received: from nexus.stwing.upenn.edu (NEXUS.STWING.UPENN.EDU [165.123.132.61]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h2K5Xvf19720 for ; Thu, 20 Mar 2003 06:33:57 +0100 (MET) Received: from force.stwing.upenn.edu (daemon@force.stwing.upenn.edu [165.123.132.65]) by nexus.stwing.upenn.edu (8.12.8/8.12.8) with ESMTP id h2K5XtBD015176 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=OK) for ; Thu, 20 Mar 2003 00:33:56 -0500 (EST) Received: (from wlovas@localhost) by force.stwing.upenn.edu (8.12.8/8.12.8) id h2K5Xtmx019611 for caml-list@inria.fr; Thu, 20 Mar 2003 00:33:55 -0500 (EST) Date: Thu, 20 Mar 2003 00:33:55 -0500 From: William Lovas To: caml-list@inria.fr Subject: Re: [Caml-list] toplevel command history/editing? Message-ID: <20030320053354.GA19398@force.stwing.upenn.edu> Mail-Followup-To: caml-list@inria.fr References: <20030319002237.37761.qmail@web10306.mail.yahoo.com> <87el53s57v.fsf@cs.uga.edu> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <87el53s57v.fsf@cs.uga.edu> User-Agent: Mutt/1.4i X-Spam: no; 0.00; lovas:01 wlovas:01 stwing:01 caml-list:01 ledit:01 ocaml':01 readline:01 gpl:01 qpl:01 ocaml:01 caml:01 command:98 toplevel:01 writes:01 emacs:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Wed, Mar 19, 2003 at 11:15:16AM -0500, cashin@cs.uga.edu wrote: > Graham Guttocks writes: > > > SooHyoung Oh wrote: > >> > >> Please check "ledit" and "ocaml2" in Caml humps pages. > > > > That's nice, but why isn't this ability built into `ocaml'? > > I can't think of a reason why any user would not want this. > > Just a guess: maybe a lot of developers are using the "run-caml" > command inside of emacs, which provides history and other nice > features. I think a major reason is licensing: the GNU readline library is licensed under the GPL, whereas the O'Caml toplevel is licensed under the QPL, and these two licenses are not compatible. Check http://caml.inria.fr/ocaml/LICENSE.html for more info. Since `ledit' is a standalone program, this sort of thing doesn't crop up. cheers, William ------------------- 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