From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.1 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 9F43BBC6C for ; Thu, 20 Sep 2007 17:06:23 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAD0p8kbAXQImn2dsb2JhbACOFQEBAQEHBAYHCBg X-IronPort-AV: E=Sophos;i="4.20,279,1186351200"; d="asc'?vcf'?scan'208";a="1469986" Received: from discorde.inria.fr ([192.93.2.38]) by mail2-smtp-roc.national.inria.fr with ESMTP; 20 Sep 2007 17:07:47 +0200 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l8KF6tqm020911 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Thu, 20 Sep 2007 17:07:00 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAOwp8kbUGyobimdsb2JhbACOFQEBAQgEBg8RBw X-IronPort-AV: E=Sophos;i="4.20,279,1186351200"; d="asc'?vcf'?scan'208";a="2976329" Received: from smtp1-g19.free.fr ([212.27.42.27]) by mail3-smtp-sop.national.inria.fr with ESMTP; 20 Sep 2007 17:07:46 +0200 Received: from smtp1-g19.free.fr (localhost.localdomain [127.0.0.1]) by smtp1-g19.free.fr (Postfix) with ESMTP id 975061AB311; Thu, 20 Sep 2007 17:07:46 +0200 (CEST) Received: from Tocksi.local (unknown [82.254.225.183]) by smtp1-g19.free.fr (Postfix) with ESMTP id D14BB1AB30F; Thu, 20 Sep 2007 17:07:43 +0200 (CEST) Message-ID: <46F28CBE.807@univ-savoie.fr> Date: Thu, 20 Sep 2007 17:07:42 +0200 From: Christophe Raffalli User-Agent: Thunderbird 2.0.0.6 (Macintosh/20070728) MIME-Version: 1.0 To: skaller Cc: Matthew Hannigan , Zheng Li , caml-list@inria.fr Subject: Re: [Caml-list] Re: [ANN] coThreads 0.10 References: <87lkb5fe3f.fsf@pps.jussieu.fr> <87sl5d8cgd.fsf@pps.jussieu.fr> <46F174D9.5060900@ujf-grenoble.fr> <877imm2z7h.fsf@pps.jussieu.fr> <1190249430.6642.1.camel@rosella.wigram> <20070920142938.d48552f2.mle+ocaml@mega-nerd.com> <1190272316.23116.34.camel@rosella.wigram> <20070920175233.a510630b.mle+ocaml@mega-nerd.com> <87abrhka16.fsf@pps.jussieu.fr> <1190284989.6770.28.camel@rosella.wigram> <20070920104420.GB25394@localhost.localdomain> <1190300562.6036.0.camel@rosella.wigram> In-Reply-To: <1190300562.6036.0.camel@rosella.wigram> X-Enigmail-Version: 0.95.3 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="------------enigD8FC298871416967BA2DBE52" X-Miltered: at discorde with ID 46F28C8F.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; christophe:01 raffalli:01 christophe:01 raffalli:01 univ-savoie:01 ocaml's:01 readline:01 readline:01 ledit:01 ocaml:01 ocaml:01 chablais:01 73376:01 univ-savoie:01 0.10:98 X-Attachments: cset="utf-8" name="Christophe.Raffalli.vcf" name="Christophe.Raffalli.vcf" type="application/pgp-signature" name="signature.asc" name="signature.asc" This is an OpenPGP/MIME signed message (RFC 2440 and 3156) --------------enigD8FC298871416967BA2DBE52 Content-Type: multipart/mixed; boundary="------------040903020809090409030401" This is a multi-part message in MIME format. --------------040903020809090409030401 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable skaller a =E9crit : > On Thu, 2007-09-20 at 20:44 +1000, Matthew Hannigan wrote: > =20 >> On Thu, Sep 20, 2007 at 08:43:09PM +1000, skaller wrote: >> =20 >>> Another *famous* example is 'readline()', the code that >>> does line editing for bash. Why is Ocaml's top level >>> so crappy, with no editing? Because of readline()'s GPL >>> =20 >> Surely that's not a good reason anymore; there are non-GPL >> workalikes to readline(). >> =20 > > Well one might ask Inria why they don't use it? > > [BTW: Python does, yet some maintains FFAU licence] > > =20 There is even one (http://pauillac.inria.fr/~ddr/ledit) written in OCaml ... and easy to add to any OCaml program ... --=20 Christophe Raffalli Universite de Savoie Batiment Le Chablais, bureau 21 73376 Le Bourget-du-Lac Cedex tel: (33) 4 79 75 81 03 fax: (33) 4 79 75 87 42 mail: Christophe.Raffalli@univ-savoie.fr www: http://www.lama.univ-savoie.fr/~RAFFALLI --------------------------------------------- IMPORTANT: this mail is signed using PGP/MIME At least Enigmail/Mozilla, mutt or evolution=20 can check this signature. The public key is stored on www.keyserver.net --------------------------------------------- --------------040903020809090409030401 Content-Type: text/x-vcard; charset=utf-8; name="Christophe.Raffalli.vcf" Content-Transfer-Encoding: quoted-printable Content-Disposition: attachment; filename="Christophe.Raffalli.vcf" begin:vcard fn:Christophe Raffalli n:Raffalli;Christophe org:LAMA (UMR 5127) email;internet:christophe.raffalli@univ-savoie.fr title;quoted-printable:Ma=3DC3=3DAEtre de conf=3DC3=3DA9rences tel;work:+33 4 79 75 81 03 note:http://www.lama.univ-savoie.fr/~raffalli x-mozilla-html:TRUE version:2.1 end:vcard --------------040903020809090409030401-- --------------enigD8FC298871416967BA2DBE52 Content-Type: application/pgp-signature; name="signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.7 (Darwin) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iD8DBQFG8oy+i9jr/RgYAS4RAuX7AKC50E+7AIRMpLFeQ60vqwEh1fn2JQCcDKvx BmIY0Gg71z+zSfglmrftdfU= =XJgr -----END PGP SIGNATURE----- --------------enigD8FC298871416967BA2DBE52--