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 XAA01320; Fri, 31 May 2002 23:01:41 +0200 (MET DST) 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 XAA01478 for caml-list@pauillac.inria.fr; Fri, 31 May 2002 23:01:41 +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 NAA22697 for ; Fri, 31 May 2002 13:36:42 +0200 (MET DST) Received: from isis.u-strasbg.fr (ns1.u-strasbg.fr [130.79.200.1]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g4VBaen24774; Fri, 31 May 2002 13:36:40 +0200 (MET DST) Received: from dpt-info.u-strasbg.fr (dpt-info.u-strasbg.fr [130.79.44.193]) by isis.u-strasbg.fr (8.12.3/jtpda-5.4) with ESMTP id g4VBaepU068729 ; Fri, 31 May 2002 13:36:40 +0200 (CEST) Received: from lambda.u-strasbg.fr (lambda.u-strasbg.fr [130.79.90.63]) by dpt-info.u-strasbg.fr (8.9.3/8.9.3) with ESMTP id NAA20477; Fri, 31 May 2002 13:38:09 +0200 Received: from luther by lambda.u-strasbg.fr with local (Exim 3.35 #1 (Debian)) id 17Dkpu-0007Nc-00; Fri, 31 May 2002 13:44:50 +0200 Date: Fri, 31 May 2002 13:44:50 +0200 To: Daniel de Rauglaudre Cc: OCaml Mailing list Subject: Re: [Caml-list] Readline support in the toplevel loop Message-ID: <20020531114450.GA28367@lambda.u-strasbg.fr> References: <20020529011820.GA2876@vincent> <20020529114107.A2893@pauillac.inria.fr> <20020529121956.G30629@verdot.inria.fr> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20020529121956.G30629@verdot.inria.fr> User-Agent: Mutt/1.3.28i From: Sven Luther Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Wed, May 29, 2002 at 12:19:56PM +0200, Daniel de Rauglaudre wrote: > Hi, > > On Wed, May 29, 2002 at 11:41:07AM +0200, Xavier Leroy wrote: > > > I considered it, but there are several issues. One of them is that > > readline is GPL, thus linking it with the Caml toplevel could cause > > license incompatibility issues. > > You may consider Ledit, because it can be used as a library: the Ledit > mli interface provides a function named input_char that you can use > instead of Pervasives.input_char. If you are interested and consider > it as a serious enough work, you can put it in the OCaml distribution. That would be very nice ... ... but would cause a dependency nightmare for distribution packager, you needing ocaml to build the ledit library, and the ledit library to build ocaml ... ... The easiest solution zould be to distribute ledit as part of the ocaml distribution, but i don't know how practical it is, and since there seem to be problems for ledit on non unix plateforms, i don't know if this will happen. But then, maybe it is not so needed on Windows as on unix ? Also i suppose you still would want to distribute ledit as a standalone program, in order to use it with other stuff that is not ocaml. Having said all that, i think having ocaml toplevel built to take advantage of ledit by default would be a very very nice solution, since not everyone is aware of ledit, and also because often you want to type just ocaml and not ledit ocaml, and also, maybe not everywhere you want to use ocaml, ledit is also installed. Friendly, Sven Luther > > -- > Daniel de RAUGLAUDRE > daniel.de_rauglaudre@inria.fr > http://cristal.inria.fr/~ddr/ > ------------------- > 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 ------------------- 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