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 IAA13035; Mon, 5 Aug 2002 08:49:12 +0200 (MET DST) 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 IAA13185 for ; Mon, 5 Aug 2002 08:49:11 +0200 (MET DST) Received: from kurims.kurims.kyoto-u.ac.jp (kurims.kurims.kyoto-u.ac.jp [130.54.16.1]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g756n9D10774 for ; Mon, 5 Aug 2002 08:49:10 +0200 (MET DST) Received: from localhost (suiren.kurims.kyoto-u.ac.jp [130.54.16.25]) by kurims.kurims.kyoto-u.ac.jp (8.9.3/3.7W) with ESMTP id PAA12493 for ; Mon, 5 Aug 2002 15:49:08 +0900 (JST) Subject: [Caml-list] ocaml-mode-3.05 To: caml-list@inria.fr X-Mailer: Mew version 1.94.2 on Emacs 20.7 / Mule 4.0 (HANANOEN) Mime-Version: 1.0 Content-Type: Text/Plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-Id: <20020805154908L.garrigue@kurims.kyoto-u.ac.jp> Date: Mon, 05 Aug 2002 15:49:08 +0900 From: Jacques Garrigue X-Dispatcher: imput version 20000228(IM140) Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk A snapshot of O'Caml emacs mode 3.05 is now available at http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/ocaml.html ftp://ftp.kurims.kyoto-u.ac.jp/pub/lang/olabl/ocaml-mode-3.05.tar.gz ftp://ftp.inria.fr/lang/caml-light/bazar-ocaml/ocaml-mode-3.05.tar.gz This is just a snapshot of the emacs directory in the distribution (fixing only one minor bug). This is intended for users of binary distributions, who did not get this directory. By the way, if you're still using older versions of the ocaml mode, you want to update for better indentation, better interaction with the caml subprocess, and other improvements by Didier Remy. --------------------------------------------------------------------------- Jacques Garrigue Kyoto University garrigue at kurims.kyoto-u.ac.jp JG ------------------- 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 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 HAA07382; Tue, 6 Aug 2002 07:04:58 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 HAA07437 for ; Tue, 6 Aug 2002 07:04:57 +0200 (MET DST) Received: from orcaware.com (bdsl.66.12.233.174.gte.net [66.12.233.174]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g7654t126819 for ; Tue, 6 Aug 2002 07:04:55 +0200 (MET DST) Received: from orcaware.com (localhost.localdomain [127.0.0.1]) by orcaware.com (8.12.5/8.12.5) with ESMTP id g7654qge024875; Mon, 5 Aug 2002 22:04:53 -0700 Message-ID: <3D4F58F4.78D67A35@orcaware.com> Date: Mon, 05 Aug 2002 22:04:52 -0700 From: Blair Zajac X-Mailer: Mozilla 4.79 [en] (Windows NT 5.0; U) X-Accept-Language: en,x-ns1rfacHe4WNh5,x-ns2U100btwUq5f MIME-Version: 1.0 To: Jacques Garrigue CC: caml-list@inria.fr Subject: Re: [Caml-list] ocaml-mode-3.05 References: <20020805154908L.garrigue@kurims.kyoto-u.ac.jp> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Jacques Garrigue wrote: > > A snapshot of O'Caml emacs mode 3.05 is now available at > > http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/ocaml.html > ftp://ftp.kurims.kyoto-u.ac.jp/pub/lang/olabl/ocaml-mode-3.05.tar.gz > ftp://ftp.inria.fr/lang/caml-light/bazar-ocaml/ocaml-mode-3.05.tar.gz Anyway you can get this integrated into the standard XEmacs or Emacs packages, say along with prog-modes? Best, Blair -- Blair Zajac Web and OS performance plots - http://www.orcaware.com/orca/ ------------------- 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 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 JAA09482; Tue, 6 Aug 2002 09:41:03 +0200 (MET DST) 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 JAA09532 for ; Tue, 6 Aug 2002 09:41:03 +0200 (MET DST) Received: from gwsmtp.thomson-csf.com (gwsmtp.thomson-csf.com [195.101.39.226]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g767f2123109 for ; Tue, 6 Aug 2002 09:41:02 +0200 (MET DST) Received: from thomplex.thomson-csf.com (200.3.2.2) by gwsmtp.thomson-csf.com (NPlex 6.5.026) id 3D4B91C50002D5FD for caml-list@inria.fr; Tue, 6 Aug 2002 09:46:32 +0200 Received: from THALESCAN.CORP.THALES (200.3.1.29) by thomplex.thomson-csf.com (NPlex 6.5.026) id 3D4E7426000115FB for caml-list@inria.fr; Tue, 6 Aug 2002 09:37:15 +0200 Received: from bgxplex3.bgx.airsys.thomson-csf.com (1.38.9.153) by bgxplex.bgx.airsys.thomson-csf.com (NPlex 5.1.036) id 3D368F6100028595 for caml-list@inria.fr; Tue, 6 Aug 2002 09:41:10 +0200 Received: from bgxplex3.bgx.airsys.thomson-csf.com (1.38.9.153) by bgxplex3.bgx.airsys.thomson-csf.com (NPlex 5.1.053) id 3D2D942D000228E3 for caml-list@inria.fr; Tue, 6 Aug 2002 09:44:06 +0200 Received: from 187.150.3.12 by bgxplex3.bgx.airsys.thomson-csf.com (InterScan E-Mail VirusWall NT); Tue, 06 Aug 2002 09:44:05 +0200 Received: from af_mara by lully.bgx.airsys.thomson-csf.com with local (Exim 3.22 #1 (Red Hat Linux)) id 17byus-0002sg-00 for ; Tue, 06 Aug 2002 09:38:06 +0200 Date: Tue, 6 Aug 2002 09:38:06 +0200 From: =?iso-8859-1?Q?J=E9r=F4me_Marant?= To: caml-list@inria.fr Subject: Re: [Caml-list] ocaml-mode-3.05 Message-ID: <20020806093806.A11074@fr.thalesgroup.com> Mail-Followup-To: caml-list@inria.fr References: <20020805154908L.garrigue@kurims.kyoto-u.ac.jp> <3D4F58F4.78D67A35@orcaware.com> Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline User-Agent: Mutt/1.2.5i In-Reply-To: <3D4F58F4.78D67A35@orcaware.com>; from blair@orcaware.com on Mon, Aug 05, 2002 at 10:04:52PM -0700 Content-Transfer-Encoding: Quoted-Printable Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Mon, Aug 05, 2002 at 10:04:52PM -0700, Blair Zajac wrote: > Jacques Garrigue wrote: > >=20 > > A snapshot of O'Caml emacs mode 3.05 is now available at > >=20 > > http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/ocaml.html > > ftp://ftp.kurims.kyoto-u.ac.jp/pub/lang/olabl/ocaml-mode-3.05.tar.g= z > > ftp://ftp.inria.fr/lang/caml-light/bazar-ocaml/ocaml-mode-3.05.tar.= gz >=20 > Anyway you can get this integrated into the standard XEmacs or > Emacs packages, say along with prog-modes? He'll do this only if he accepts to sign papers ;-) --=20 J=E9r=F4me Marant ------------------- 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 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 LAA12195; Tue, 6 Aug 2002 11:05:24 +0200 (MET DST) 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 LAA12056 for ; Tue, 6 Aug 2002 11:05:23 +0200 (MET DST) Received: from relay.rinet.ru (relay.rinet.ru [195.54.192.35]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g7695M126306 for ; Tue, 6 Aug 2002 11:05:22 +0200 (MET DST) Received: (from uucp@localhost) by relay.rinet.ru (8.11.6/8.11.6) with UUCP id g7695C428581 for caml-list@inria.fr; Tue, 6 Aug 2002 13:05:12 +0400 (MSD) X-Envelope-To: caml-list@inria.fr Received: from pc-9-4.stormoff (PC-9-4) [192.168.0.77] by stormoff with esmtp (Exim 3.12 #1 (Debian)) id 17c0Ds-0006vU-00; Tue, 06 Aug 2002 13:01:48 +0400 X-Comment-To: =?koi8-r?b?Suly9G1l?= Marant To: caml-list@inria.fr Subject: Re: [Caml-list] ocaml-mode-3.05 References: <20020805154908L.garrigue@kurims.kyoto-u.ac.jp> <3D4F58F4.78D67A35@orcaware.com> <20020806093806.A11074@fr.thalesgroup.com> From: Dmitry Bely Date: Tue, 06 Aug 2002 13:01:56 +0400 In-Reply-To: <20020806093806.A11074@fr.thalesgroup.com> =?koi8-r?b?KErpcvRtZQ==?= Marant's message of "Tue, 6 Aug 2002 09:38:06 +0200") Message-ID: User-Agent: Gnus/5.090007 (Oort Gnus v0.07) XEmacs/21.4 (Economic Science (Windows [1]), i586-pc-win32) MIME-Version: 1.0 Content-Type: text/plain; charset=koi8-r Content-Transfer-Encoding: 8bit Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Jérôme Marant writes: >> > A snapshot of O'Caml emacs mode 3.05 is now available at >> > >> > http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/ocaml.html >> > ftp://ftp.kurims.kyoto-u.ac.jp/pub/lang/olabl/ocaml-mode-3.05.tar.gz >> > ftp://ftp.inria.fr/lang/caml-light/bazar-ocaml/ocaml-mode-3.05.tar.gz >> >> Anyway you can get this integrated into the standard XEmacs or >> Emacs packages, say along with prog-modes? > > He'll do this only if he accepts to sign papers ;-) For XEmacs they are not required (it's not FSF copyrighted), while Emacs AFAIK does not have package system yet. So as an XEmacs user, I would be quite happy to have XEmacs package available. And two questions regarding the emacs mode itself: - what is the main difference between tuareg and emacs mode (currently I am a tuareg user)? - does any emacs mode supports the revized syntax? - Dmitry Bely ------------------- 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 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 VAA24072; Tue, 6 Aug 2002 21:23:06 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 VAA24209 for ; Tue, 6 Aug 2002 21:23:05 +0200 (MET DST) Received: from orcaware.com (bdsl.66.12.233.174.gte.net [66.12.233.174]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g76JN4111538 for ; Tue, 6 Aug 2002 21:23:04 +0200 (MET DST) Received: from orcaware.com (localhost.localdomain [127.0.0.1]) by orcaware.com (8.12.5/8.12.5) with ESMTP id g76JN1ge032631; Tue, 6 Aug 2002 12:23:02 -0700 Message-ID: <3D502214.14C9DA86@orcaware.com> Date: Tue, 06 Aug 2002 12:23:00 -0700 From: Blair Zajac X-Mailer: Mozilla 4.79 [en] (Windows NT 5.0; U) X-Accept-Language: en,x-ns1rfacHe4WNh5,x-ns2U100btwUq5f MIME-Version: 1.0 To: Dmitry Bely CC: caml-list@inria.fr Subject: Re: [Caml-list] ocaml-mode-3.05 References: <20020805154908L.garrigue@kurims.kyoto-u.ac.jp> <3D4F58F4.78D67A35@orcaware.com> <20020806093806.A11074@fr.thalesgroup.com> Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Dmitry Bely wrote: > > Jérôme Marant writes: > > >> > A snapshot of O'Caml emacs mode 3.05 is now available at > >> > > >> > http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/ocaml.html > >> > ftp://ftp.kurims.kyoto-u.ac.jp/pub/lang/olabl/ocaml-mode-3.05.tar.gz > >> > ftp://ftp.inria.fr/lang/caml-light/bazar-ocaml/ocaml-mode-3.05.tar.gz > >> > >> Anyway you can get this integrated into the standard XEmacs or > >> Emacs packages, say along with prog-modes? > > > > He'll do this only if he accepts to sign papers ;-) > > For XEmacs they are not required (it's not FSF copyrighted), while Emacs > AFAIK does not have package system yet. So as an XEmacs user, I would be > quite happy to have XEmacs package available. Ditto. If there's a vote, I vote to put it into XEmacs, which I use :) Best, Blair -- Blair Zajac Web and OS performance plots - http://www.orcaware.com/orca/ ------------------- 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 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 BAA27062; Wed, 7 Aug 2002 01:38:13 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 BAA27153 for ; Wed, 7 Aug 2002 01:38:12 +0200 (MET DST) Received: from boule.etirade.com (12-247-44-244.client.attbi.com [12.247.44.244]) by nez-perce.inria.fr (8.11.1/8.11.1) with SMTP id g76Nc7114904 for ; Wed, 7 Aug 2002 01:38:10 +0200 (MET DST) Received: (qmail 19880 invoked from network); 6 Aug 2002 23:38:04 -0000 Received: from unknown (HELO ciabatta.etirade.com) (192.168.1.6) by boule.etirade.com with SMTP; 6 Aug 2002 23:38:04 -0000 Content-Type: text/plain; charset="iso-8859-1" From: Jeffrey Palmer To: caml-list@inria.fr Subject: Re: [Caml-list] ocaml-mode-3.05 Date: Tue, 6 Aug 2002 18:37:48 -0500 User-Agent: KMail/1.4.2 References: <20020805154908L.garrigue@kurims.kyoto-u.ac.jp> In-Reply-To: <20020805154908L.garrigue@kurims.kyoto-u.ac.jp> MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable Message-Id: <200208061837.48621.jeffrey.palmer@acm.org> Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Can anyone give a quick comparison of the Tuareg ocaml mode and=20 ocaml-mode-3.05? Is the indentation better/standardized in one vs. the ot= her,=20 support for font-locking, etc. I'm using Tuareg now, but I was thinking that if this is the "standard" o= caml=20 mode, now might be the time to switch. Thoughts? =09- jeff --=20 The river is moving. The blackbird must be flying. ------------------- 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 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 CAA27681; Wed, 7 Aug 2002 02:19:07 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 CAA27762 for ; Wed, 7 Aug 2002 02:19:06 +0200 (MET DST) Received: from favie.faith.gr.jp (favie.faith.gr.jp [61.127.175.250]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g770J4115382 for ; Wed, 7 Aug 2002 02:19:05 +0200 (MET DST) Received: from localhost (dhcp7.faith.gr.jp [192.168.1.17]) by favie.faith.gr.jp (8.9.3/8.9.3) with ESMTP id JAA07015; Wed, 7 Aug 2002 09:18:57 +0900 To: jeffrey.palmer@acm.org Cc: caml-list@inria.fr Subject: Re: [Caml-list] ocaml-mode-3.05 In-Reply-To: <200208061837.48621.jeffrey.palmer@acm.org> References: <20020805154908L.garrigue@kurims.kyoto-u.ac.jp> <200208061837.48621.jeffrey.palmer@acm.org> X-Mailer: Mew version 1.94.2 on Emacs 21.2 / Mule 5.0 (SAKAKI) Mime-Version: 1.0 Content-Type: Text/Plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-Id: <20020807091842P.garrigue@kurims.kyoto-u.ac.jp> Date: Wed, 07 Aug 2002 09:18:42 +0900 From: Jacques Garrigue X-Dispatcher: imput version 20000228(IM140) Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk From: Jeffrey Palmer > Can anyone give a quick comparison of the Tuareg ocaml mode and > ocaml-mode-3.05? Is the indentation better/standardized in one > vs. the other, support for font-locking, etc. I'm not a Tuareg mode user myself (not surprising) but my understanding is that they have different indentation styles. ocaml-mode indents like the sources of the ocaml compiler (mutual relation: it was fashioned after them, and developpers use it) Tuareg is ------------------- 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 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 HAA30405; Wed, 7 Aug 2002 07:24:48 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 HAA30091 for ; Wed, 7 Aug 2002 07:24:47 +0200 (MET DST) Received: from imac.sobor.org (adsl-63-198-183-99.dsl.snfc21.pacbell.net [63.198.183.99]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g775Oj520648 for ; Wed, 7 Aug 2002 07:24:46 +0200 (MET DST) Received: from quasar.ipa.nw.ru (unknown [192.168.123.51]) by imac.sobor.org (Postfix) with ESMTP id 10E06102ADD0; Tue, 6 Aug 2002 22:24:44 -0700 (PDT) Message-ID: <3D50AF3E.8965A1DE@quasar.ipa.nw.ru> Date: Tue, 06 Aug 2002 22:25:18 -0700 From: "Alexander V. Voinov" Organization: Fear of the Lord is the beginning of wisdom X-Mailer: Mozilla 4.75 [en] (Windows NT 5.0; U) X-Accept-Language: en MIME-Version: 1.0 To: Jacques Garrigue , caml-list@inria.fr Subject: Re: [Caml-list] ocaml-mode-3.05 References: <20020805154908L.garrigue@kurims.kyoto-u.ac.jp> <200208061837.48621.jeffrey.palmer@acm.org> <20020807091842P.garrigue@kurims.kyoto-u.ac.jp> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Hi All, Jacques Garrigue wrote: > > From: Jeffrey Palmer > > > Can anyone give a quick comparison of the Tuareg ocaml mode and > > ocaml-mode-3.05? Is the indentation better/standardized in one > > vs. the other, support for font-locking, etc. > > I'm not a Tuareg mode user myself (not surprising) I'm not in a position to argue on either of these modes, but I use tuareg and it satisfies all my needs. I only remember that I switched to it from some other mode which was less satisfactory. > but my > understanding is that they have different indentation styles. > ocaml-mode indents like the sources of the ocaml compiler > (mutual relation: it was fashioned after them, and developpers use it) I'm not sure that this argument is decisive for us, plain users. Add to this that there is no concensus on the merits of OCaml syntax itself... There are some extremely experienced FP users among us (not me), who don't like it. I can't dismiss this fact as something "subjective". I have no intention to offend you by this, but... this is reality: we are all different. Alexander ------------------- 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 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 IAA31022; Wed, 7 Aug 2002 08:25:47 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 IAA31307 for ; Wed, 7 Aug 2002 08:25:46 +0200 (MET DST) Received: from kurims.kurims.kyoto-u.ac.jp (kurims.kurims.kyoto-u.ac.jp [130.54.16.1]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g776Pj521134 for ; Wed, 7 Aug 2002 08:25:45 +0200 (MET DST) Received: from localhost (suiren.kurims.kyoto-u.ac.jp [130.54.16.25]) by kurims.kurims.kyoto-u.ac.jp (8.9.3/3.7W) with ESMTP id PAA08208; Wed, 7 Aug 2002 15:25:40 +0900 (JST) To: jeffrey.palmer@acm.org Cc: caml-list@inria.fr Subject: Re: [Caml-list] ocaml-mode-3.05 In-Reply-To: <20020807091842P.garrigue@kurims.kyoto-u.ac.jp> References: <20020805154908L.garrigue@kurims.kyoto-u.ac.jp> <200208061837.48621.jeffrey.palmer@acm.org> <20020807091842P.garrigue@kurims.kyoto-u.ac.jp> X-Mailer: Mew version 1.94.2 on Emacs 20.7 / Mule 4.0 (HANANOEN) Mime-Version: 1.0 Content-Type: Text/Plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-Id: <20020807152540J.garrigue@kurims.kyoto-u.ac.jp> Date: Wed, 07 Aug 2002 15:25:40 +0900 From: Jacques Garrigue X-Dispatcher: imput version 20000228(IM140) Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Sorry, I didn't intend to post this one (pressed the wrong key). Let the people who actually use the newest version of both modes do the talking (it this exists). From: Jacques Garrigue > I'm not a Tuareg mode user myself (not surprising) but my > understanding is that they have different indentation styles. [..] ------------------- 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 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 OAA04357; Wed, 7 Aug 2002 14:34:12 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 OAA04185 for ; Wed, 7 Aug 2002 14:34:08 +0200 (MET DST) X-SPAM-Warning: Sending machine is listed in blackholes.five-ten-sg.com Received: from dsf (adsl-63-196-84-93.dsl.sndg02.pacbell.net [63.196.84.93]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g77CY6526849 for ; Wed, 7 Aug 2002 14:34:07 +0200 (MET DST) Received: from dsf by dsf with local (Exim 3.33 #1 (Debian)) id 17cQ0n-0000rj-00 for ; Wed, 07 Aug 2002 05:34:01 -0700 To: caml-list@inria.fr Subject: Re: [Caml-list] ocaml-mode-3.05 References: <20020805154908L.garrigue@kurims.kyoto-u.ac.jp> <200208061837.48621.jeffrey.palmer@acm.org> From: David Fox Date: 07 Aug 2002 05:34:01 -0700 In-Reply-To: <200208061837.48621.jeffrey.palmer@acm.org> Message-ID: <87ofceyhja.fsf@foxthompson.net> User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Jeffrey Palmer writes: > Can anyone give a quick comparison of the Tuareg ocaml mode and > ocaml-mode-3.05? Is the indentation better/standardized in one vs. the other, > support for font-locking, etc. > > I'm using Tuareg now, but I was thinking that if this is the > "standard" ocaml mode, now might be the time to switch. I just tried out ocaml-mode-3.05, but it is difficult to perform a comparison because the colorization of the two modes is quite different and customization is not straightforward. It would be unfair to do a comparison without first minimizing the gratuitous differences between the two. I did notice that when I loaded a buffer in ocaml-mode the comments were not colorized properly, though when I toggled font-lock mode off and on they came out right. This is also my main problem with tuareg mode - mysterious colorization behavior. I'm pretty sure the indentation will not be a big issue for me. ------------------- 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 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 PAA05980; Wed, 7 Aug 2002 15:32:54 +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 PAA05879 for caml-list@pauillac.inria.fr; Wed, 7 Aug 2002 15:32:52 +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 HAA31001 for ; Wed, 7 Aug 2002 07:55:43 +0200 (MET DST) X-SPAM-Warning: Sending machine is listed in blackholes.five-ten-sg.com Received: from OASERVER ([211.101.185.130]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g775te520839 for ; Wed, 7 Aug 2002 07:55:42 +0200 (MET DST) Received: from fltrp.com [211.101.185.137] by OASERVER with ESMTP (SMTPD32-7.05 EVAL) id A5BE8A01A0; Wed, 07 Aug 2002 13:53:02 +0800 Message-ID: <3D50B61E.2090204@fltrp.com> Date: Wed, 07 Aug 2002 13:54:38 +0800 From: Yang Shouxun User-Agent: Mozilla/5.0 (X11; U; Linux i686; zh-CN; rv:1.0.0) Gecko/20020615 Debian/1.0.0-3 X-Accept-Language: en-us, zh-cn MIME-Version: 1.0 To: caml-list@inria.fr Subject: Re: [Caml-list] ocaml-mode-3.05 References: <20020805154908L.garrigue@kurims.kyoto-u.ac.jp> <200208061837.48621.jeffrey.palmer@acm.org> <20020807091842P.garrigue@kurims.kyoto-u.ac.jp> <3D50AF3E.8965A1DE@quasar.ipa.nw.ru> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Alexander V. Voinov wrote: > > I'm not sure that this argument is decisive for us, plain users. Add to > this that there is no concensus on the merits of OCaml syntax itself... > There are some extremely experienced FP users among us (not me), who > don't like it. I can't dismiss this fact as something "subjective". I > have no intention to offend you by this, but... this is reality: we are > all different. > True. For instance, I'd rather an indentation for every consecutive "let...", as in the Lisp style (I learned Scheme and Common Lisp before Ocaml). That is, I prefer indentation to graphically show the structure of the code, even at the risk of being stretched too much to the right. With higher resolution of graphic displays and more careful organization of the code, I guess the problem may be less imposing. I'm using tuareg for it allows me to run ocaml toplevel in emacs. I'm not sure the ocaml-mode has such functionality. ------------------- 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 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 PAA05994; Wed, 7 Aug 2002 15:34:10 +0200 (MET DST) Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id PAA06072 for caml-list@pauillac.inria.fr; Wed, 7 Aug 2002 15:34:10 +0200 (MET DST) 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 IAA30694 for ; Wed, 7 Aug 2002 08:11:38 +0200 (MET DST) Received: from swordfish.cs.caltech.edu (swordfish.cs.caltech.edu [131.215.44.124]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g776Bb528062 for ; Wed, 7 Aug 2002 08:11:37 +0200 (MET DST) Received: from orchestra.cs.caltech.edu (orchestra.cs.caltech.edu [131.215.44.20]) by swordfish.cs.caltech.edu (Postfix) with ESMTP id 7EF35DF26D; Tue, 6 Aug 2002 23:11:36 -0700 (PDT) Received: (from mvanier@localhost) by orchestra.cs.caltech.edu (8.11.6/8.9.3) id g776BaG02942; Tue, 6 Aug 2002 23:11:36 -0700 Date: Tue, 6 Aug 2002 23:11:36 -0700 Message-Id: <200208070611.g776BaG02942@orchestra.cs.caltech.edu> X-Authentication-Warning: orchestra.cs.caltech.edu: mvanier set sender to mvanier@cs.caltech.edu using -f From: Michael Vanier To: avv@quasar.ipa.nw.ru Cc: garrigue@kurims.kyoto-u.ac.jp, caml-list@inria.fr In-reply-to: <3D50AF3E.8965A1DE@quasar.ipa.nw.ru> (avv@quasar.ipa.nw.ru) Subject: Re: [Caml-list] ocaml-mode-3.05 References: <20020805154908L.garrigue@kurims.kyoto-u.ac.jp> <200208061837.48621.jeffrey.palmer@acm.org> <20020807091842P.garrigue@kurims.kyoto-u.ac.jp> <3D50AF3E.8965A1DE@quasar.ipa.nw.ru> Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > Date: Tue, 06 Aug 2002 22:25:18 -0700 > From: "Alexander V. Voinov" > > Hi All, > > Jacques Garrigue wrote: > > > > From: Jeffrey Palmer > > > > > Can anyone give a quick comparison of the Tuareg ocaml mode and > > > ocaml-mode-3.05? Is the indentation better/standardized in one > > > vs. the other, support for font-locking, etc. > > > > I'm not a Tuareg mode user myself (not surprising) > > I'm not in a position to argue on either of these modes, but I use > tuareg and it satisfies all my needs. I only remember that I switched to > it from some other mode which was less satisfactory. > Although the standard ocaml mode is fine for me when it works, there's one thing about it that really annoys me: occasionally the indenting engine gets confused and then totally refuses to do the right thing from then on. I have to manually re-load the caml-mode emacs files to fix it. Another thing I don't like is that caml-mode doesn't treat nested comments correctly as far as syntax coloring is concerned. I guess I should give tuareg a try. Mike ------------------- 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 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 PAA06624; Wed, 7 Aug 2002 15:38:04 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 PAA06239 for ; Wed, 7 Aug 2002 15:38:03 +0200 (MET DST) Received: from favie.faith.gr.jp (favie.faith.gr.jp [61.127.175.250]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g77Dc1527920 for ; Wed, 7 Aug 2002 15:38:02 +0200 (MET DST) Received: from localhost (dhcp7.faith.gr.jp [192.168.1.17]) by favie.faith.gr.jp (8.9.3/8.9.3) with ESMTP id WAA23467; Wed, 7 Aug 2002 22:37:58 +0900 To: david@lindows.com Cc: caml-list@inria.fr Subject: Re: [Caml-list] ocaml-mode-3.05 In-Reply-To: <87ofceyhja.fsf@foxthompson.net> References: <20020805154908L.garrigue@kurims.kyoto-u.ac.jp> <200208061837.48621.jeffrey.palmer@acm.org> <87ofceyhja.fsf@foxthompson.net> X-Mailer: Mew version 1.94.2 on Emacs 21.2 / Mule 5.0 (SAKAKI) Mime-Version: 1.0 Content-Type: Text/Plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-Id: <20020807223749T.garrigue@kurims.kyoto-u.ac.jp> Date: Wed, 07 Aug 2002 22:37:49 +0900 From: Jacques Garrigue X-Dispatcher: imput version 20000228(IM140) Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk From: David Fox > I did notice that when I loaded a buffer > in ocaml-mode the comments were not colorized properly, though when I > toggled font-lock mode off and on they came out right. This is a bit strange: when you load a file, ocaml-mode colorize the whole buffer, just as when toggle on-and-off, or use font-lock-fontify buffer. So the result should not differ. However, as soon as you edit the text, colorization is done individually on each modified line, and may come out incorect. > This is also my main problem with tuareg mode - mysterious > colorization behavior. You're pretty much limited by font-lock's capabilities. Which means no support for incremental multiline colorizing. No surprise you encounter the same problems. > I'm pretty sure the indentation will not be a big issue for me. Then any mode should please you: in ocaml-mode colorizing is less than 100 lines (just regular expression, that you may twiddle yourself if you want), while indentation is more than 1000 (most of caml.el). There is a huge gap in complexity, because caml syntax is so unstructured. Jacques Garrigue ------------------- 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 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 BAA15976; Thu, 8 Aug 2002 01:51:28 +0200 (MET DST) 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 BAA16026 for ; Thu, 8 Aug 2002 01:51:24 +0200 (MET DST) Received: from favie.faith.gr.jp (favie.faith.gr.jp [61.127.175.250]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g77NpB524170 for ; Thu, 8 Aug 2002 01:51:14 +0200 (MET DST) Received: from localhost (dhcp7.faith.gr.jp [192.168.1.17]) by favie.faith.gr.jp (8.9.3/8.9.3) with ESMTP id IAA03829; Thu, 8 Aug 2002 08:51:09 +0900 To: yangsx@fltrp.com Cc: caml-list@inria.fr Subject: Re: [Caml-list] ocaml-mode-3.05 In-Reply-To: <3D50B61E.2090204@fltrp.com> References: <20020807091842P.garrigue@kurims.kyoto-u.ac.jp> <3D50AF3E.8965A1DE@quasar.ipa.nw.ru> <3D50B61E.2090204@fltrp.com> X-Mailer: Mew version 1.94.2 on Emacs 21.2 / Mule 5.0 (SAKAKI) Mime-Version: 1.0 Content-Type: Text/Plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-Id: <20020808085059U.garrigue@kurims.kyoto-u.ac.jp> Date: Thu, 08 Aug 2002 08:50:59 +0900 From: Jacques Garrigue X-Dispatcher: imput version 20000228(IM140) Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk From: Yang Shouxun > True. For instance, I'd rather an indentation for every consecutive > "let...", as in the Lisp style (I learned Scheme and Common Lisp before > Ocaml). That is, I prefer indentation to graphically show the structure > of the code, even at the risk of being stretched too much to the right. > With higher resolution of graphic displays and more careful organization > of the code, I guess the problem may be less imposing. This is mostly a question of taste: I view most of the let's as assignment, so I prefer not to indent them, since they do no more than changing a binding. But lots of people would disagree. By the way, you can customize this in ocaml-mode too: (setq caml-let-in-indent 2) The default is 0, meaning no indent. On the other hand, not everything is customizable, and even when customizable it may be a pain. For instance, I never came around to allow a global change in the size of indentation: this is 2, or you have to change it individually for every construct... > I'm using tuareg for it allows me to run ocaml toplevel in emacs. I'm > not sure the ocaml-mode has such functionality. Let's stop such blaring disinformation: running the ocaml toplevel under emacs was the original goal of the caml mode, and this already worked more than 10 years ago. Thanks to Didier it is now pretty clever about errors, but then Tuareg might be just as clever. Jacques Garrigue ------------------- 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 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 IAA20277; Thu, 8 Aug 2002 08:55:57 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 IAA19991 for ; Thu, 8 Aug 2002 08:55:55 +0200 (MET DST) Received: from mel-rto4.wanadoo.fr (smtp-out-4.wanadoo.fr [193.252.19.23]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g786tsn14516 for ; Thu, 8 Aug 2002 08:55:54 +0200 (MET DST) Received: from mel-rta10.wanadoo.fr (193.252.19.193) by mel-rto4.wanadoo.fr (6.5.007) id 3D49FD320027E373; Thu, 8 Aug 2002 08:55:17 +0200 Received: from iliana (80.9.104.226) by mel-rta10.wanadoo.fr (6.5.007) id 3D49FFDD0026D23B; Thu, 8 Aug 2002 08:55:17 +0200 Received: from luther by iliana with local (Exim 3.35 #1 (Debian)) id 17cgsM-0000J7-00; Thu, 08 Aug 2002 08:34:26 +0200 Date: Thu, 8 Aug 2002 08:34:16 +0200 To: Jacques Garrigue Cc: yangsx@fltrp.com, caml-list@inria.fr Subject: Re: [Caml-list] ocaml-mode-3.05 Message-ID: <20020808063416.GA1033@iliana> References: <20020807091842P.garrigue@kurims.kyoto-u.ac.jp> <3D50AF3E.8965A1DE@quasar.ipa.nw.ru> <3D50B61E.2090204@fltrp.com> <20020808085059U.garrigue@kurims.kyoto-u.ac.jp> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20020808085059U.garrigue@kurims.kyoto-u.ac.jp> User-Agent: Mutt/1.4i From: Sven LUTHER Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Thu, Aug 08, 2002 at 08:50:59AM +0900, Jacques Garrigue wrote: > From: Yang Shouxun > > True. For instance, I'd rather an indentation for every consecutive > > "let...", as in the Lisp style (I learned Scheme and Common Lisp before > > Ocaml). That is, I prefer indentation to graphically show the structure > > of the code, even at the risk of being stretched too much to the right. > > With higher resolution of graphic displays and more careful organization > > of the code, I guess the problem may be less imposing. > > This is mostly a question of taste: I view most of the let's as > assignment, so I prefer not to indent them, since they do no more than > changing a binding. But lots of people would disagree. > > By the way, you can customize this in ocaml-mode too: > (setq caml-let-in-indent 2) > The default is 0, meaning no indent. > > On the other hand, not everything is customizable, and even when > customizable it may be a pain. For instance, I never came around to > allow a global change in the size of indentation: this is 2, or you > have to change it individually for every construct... > > > I'm using tuareg for it allows me to run ocaml toplevel in emacs. I'm > > not sure the ocaml-mode has such functionality. > > Let's stop such blaring disinformation: > running the ocaml toplevel under emacs was the original goal of the caml > mode, and this already worked more than 10 years ago. > Thanks to Didier it is now pretty clever about errors, but then Tuareg > might be just as clever. Jacques, ... This is the same caml mode that comes with the ocaml sources, isn't it ? It is just some changes that you did after the 3.05 release, and which will go into 3.06, or do you intent to distribute them separatedly ? Friendly, Sven Luther ------------------- 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 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 JAA20584; Thu, 8 Aug 2002 09:12:42 +0200 (MET DST) 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 JAA20541 for ; Thu, 8 Aug 2002 09:12:41 +0200 (MET DST) Received: from psyche.kaba.or.jp (psyche.kaba.or.jp [202.249.19.1]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g787Cdj04197 for ; Thu, 8 Aug 2002 09:12:39 +0200 (MET DST) Received: from mail.kaba.or.jp (cascade.kaba.or.jp [202.249.19.34]) by psyche.kaba.or.jp (8.9.3/3.7Wpl2-psyche) with ESMTP id QAA90202; Thu, 8 Aug 2002 16:12:31 +0900 (JST) Received: from localhost (pmdhcp08.kaba.or.jp [202.249.19.120]) by mail.kaba.or.jp (Postfix) with ESMTP id 24C2E49A88; Thu, 8 Aug 2002 16:12:31 +0900 (JST) To: luther@dpt-info.u-strasbg.fr Cc: caml-list@inria.fr Subject: Re: [Caml-list] ocaml-mode-3.05 In-Reply-To: <20020808063416.GA1033@iliana> References: <3D50B61E.2090204@fltrp.com> <20020808085059U.garrigue@kurims.kyoto-u.ac.jp> <20020808063416.GA1033@iliana> X-Mailer: Mew version 1.94.2 on Emacs 21.2 / Mule 5.0 (SAKAKI) Mime-Version: 1.0 Content-Type: Text/Plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-Id: <20020808161222O.garrigue@kurims.kyoto-u.ac.jp> Date: Thu, 08 Aug 2002 16:12:22 +0900 From: Jacques Garrigue X-Dispatcher: imput version 20000228(IM140) Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk From: Sven LUTHER > This is the same caml mode that comes with the ocaml sources, isn't it ? > > It is just some changes that you did after the 3.05 release, and which > will go into 3.06, or do you intent to distribute them separatedly ? Yes, the name is ocaml-mode-3.05, but the contents is ocaml-3.06/emacs... This is only a snapshot, to help users without the sources, and packagers who want to package the mode separately. Jacques Garrigue ------------------- 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 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 LAA24043; Fri, 9 Aug 2002 11:30:40 +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 LAA23785 for caml-list@pauillac.inria.fr; Fri, 9 Aug 2002 11:30:36 +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 DAA17155 for ; Thu, 8 Aug 2002 03:20:39 +0200 (MET DST) X-SPAM-Warning: Sending machine is listed in blackholes.five-ten-sg.com Received: from OASERVER ([211.101.185.130]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g781KY511188 for ; Thu, 8 Aug 2002 03:20:37 +0200 (MET DST) Received: from fltrp.com [129.0.5.6] by OASERVER with ESMTP (SMTPD32-7.05 EVAL) id A6C71E2014A; Thu, 08 Aug 2002 09:17:59 +0800 Message-ID: <3D51C728.6040204@fltrp.com> Date: Thu, 08 Aug 2002 09:19:36 +0800 From: Yang Shouxun User-Agent: Mozilla/5.0 (X11; U; Linux i686; zh-CN; rv:1.0.0) Gecko/20020615 Debian/1.0.0-3 X-Accept-Language: en-us, zh-cn MIME-Version: 1.0 To: caml-list@inria.fr Subject: Re: [Caml-list] ocaml-mode-3.05 References: <20020807091842P.garrigue@kurims.kyoto-u.ac.jp> <3D50AF3E.8965A1DE@quasar.ipa.nw.ru> <3D50B61E.2090204@fltrp.com> <20020808085059U.garrigue@kurims.kyoto-u.ac.jp> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Jacques Garrigue wrote: >>True. For instance, I'd rather an indentation for every consecutive >>"let...", as in the Lisp style (I learned Scheme and Common Lisp before >>Ocaml). That is, I prefer indentation to graphically show the structure >>of the code, even at the risk of being stretched too much to the right. >>With higher resolution of graphic displays and more careful organization >>of the code, I guess the problem may be less imposing. > By the way, you can customize this in ocaml-mode too: > (setq caml-let-in-indent 2) > The default is 0, meaning no indent. Thanks. In tuareg there is an option "Force indentation after 'let'", but it seems not working as I expect it. Or I miss something here. >>I'm using tuareg for it allows me to run ocaml toplevel in emacs. I'm >>not sure the ocaml-mode has such functionality. > > Let's stop such blaring disinformation: Sorry, I just didn't know how to do that with ocaml-mode when I last tried, but I see now. IIRC, I didn't find it out the first time because I used "apropos ocaml" instead of "apropos caml" and I didn't search the caml menu. On the other hand, "apropos tuareg" gave me what I was looking for. ------------------- 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 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 MAA06538; Sat, 10 Aug 2002 12:29:50 +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 MAA06492 for caml-list@pauillac.inria.fr; Sat, 10 Aug 2002 12:23:04 +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 TAA00815 for ; Fri, 9 Aug 2002 19:16:46 +0200 (MET DST) X-SPAM-Warning: Sending machine is listed in blackholes.five-ten-sg.com Received: from dsf (adsl-63-196-84-93.dsl.sndg02.pacbell.net [63.196.84.93]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g79HGbr17466 for ; Fri, 9 Aug 2002 19:16:41 +0200 (MET DST) Received: from dsf by dsf with local (Exim 3.33 #1 (Debian)) id 17dDNI-0002rQ-00; Fri, 09 Aug 2002 10:16:32 -0700 To: Jacques Garrigue Cc: david@lindows.com, caml-list@inria.fr Subject: Re: [Caml-list] ocaml-mode-3.05 References: <20020805154908L.garrigue@kurims.kyoto-u.ac.jp> <200208061837.48621.jeffrey.palmer@acm.org> <87ofceyhja.fsf@foxthompson.net> <20020807223749T.garrigue@kurims.kyoto-u.ac.jp> From: David Fox Date: 09 Aug 2002 10:16:32 -0700 In-Reply-To: <20020807223749T.garrigue@kurims.kyoto-u.ac.jp> Message-ID: <87znvwdkb3.fsf@foxthompson.net> User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Jacques Garrigue writes: > From: David Fox > > > I'm pretty sure the indentation will not be a big issue for me. > > Then any mode should please you: in ocaml-mode colorizing is less than > 100 lines (just regular expression, that you may twiddle yourself if > you want), while indentation is more than 1000 (most of caml.el). > There is a huge gap in complexity, because caml syntax is so > unstructured. Now that I think harder, indentation *has* sometimes been an issue for me in Tuareg mode. Particularly when splitting expressions across lines. Its just that not being used to the new color scheme makes it difficult to switch back and forth for comparison. ------------------- 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 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 BAA13416; Tue, 13 Aug 2002 01:22:55 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 BAA13401 for ; Tue, 13 Aug 2002 01:22:46 +0200 (MET DST) Received: from str12.sobor.org (adsl-63-198-183-99.dsl.snfc21.pacbell.net [63.198.183.99]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g7CNMjf16353 for ; Tue, 13 Aug 2002 01:22:46 +0200 (MET DST) Received: from localhost (localhost.localdomain [127.0.0.1]) by str12.sobor.org (Postfix) with ESMTP id 8184199860; Mon, 12 Aug 2002 16:11:50 -0700 (PDT) Date: Mon, 12 Aug 2002 16:11:45 -0700 (PDT) Message-Id: <20020812.161145.59484951.avv@quasar.ipa.nw.ru> To: yangsx@fltrp.com Cc: caml-list@inria.fr Subject: ocaml-info. was: Re: [Caml-list] ocaml-mode-3.05 From: "Alexander V.Voinov" In-Reply-To: <3D51C728.6040204@fltrp.com> References: <3D50B61E.2090204@fltrp.com> <20020808085059U.garrigue@kurims.kyoto-u.ac.jp> <3D51C728.6040204@fltrp.com> X-Mailer: Mew version 2.2 on Emacs 21.1 / Mule 5.0 (SAKAKI) Mime-Version: 1.0 Content-Type: Text/Plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Hi All, Once we mentioned emacs in the context of OCaml, can we discuss the current state of the corresponding info files? There are some glitches, like these two: 1) keyword search does not work through chapters; 2) One can't ascend to the info top level by pressing 'u'. The latter is annoying if one wants to see some other manuals. They become locked out. Or did I do something wrong? Does anybody use OCaml manual in the form of info pages? Alexander ------------------- 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 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 BAA13656; Tue, 13 Aug 2002 01:42:58 +0200 (MET DST) 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 BAA13532 for ; Tue, 13 Aug 2002 01:42:57 +0200 (MET DST) Received: from smtp.web.de (smtp03.web.de [217.72.192.158]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g7CNfvX25551 for ; Tue, 13 Aug 2002 01:42:11 +0200 (MET DST) Received: from dsl-213-023-045-128.arcor-ip.net ([213.23.45.128] helo=pokey.henrik-motakef.de.web.de) by smtp.web.de with esmtp (WEB.DE(Exim) 4.75 #2) id 17eOoc-0008SJ-00; Tue, 13 Aug 2002 01:41:38 +0200 To: "Alexander V.Voinov" Cc: yangsx@fltrp.com, caml-list@inria.fr Subject: Re: ocaml-info. was: Re: [Caml-list] ocaml-mode-3.05 References: <3D50B61E.2090204@fltrp.com> <20020808085059U.garrigue@kurims.kyoto-u.ac.jp> <3D51C728.6040204@fltrp.com> <20020812.161145.59484951.avv@quasar.ipa.nw.ru> From: Henrik Motakef Date: 13 Aug 2002 01:51:16 +0200 In-Reply-To: <20020812.161145.59484951.avv@quasar.ipa.nw.ru> Message-ID: <87k7mvtz4b.fsf@pokey.henrik-motakef.de> User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk "Alexander V.Voinov" writes: > 2) One can't ascend to the info top level by pressing 'u'. 'd' (for 'directory') should work. ------------------- 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 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 LAA20326; Tue, 13 Aug 2002 11:23:37 +0200 (MET DST) 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 LAA20321 for ; Tue, 13 Aug 2002 11:23:35 +0200 (MET DST) Received: from shiva.jussieu.fr (shiva.jussieu.fr [134.157.0.129]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g7D9NYL08186 for ; Tue, 13 Aug 2002 11:23:34 +0200 (MET DST) Received: from akasha.ijm.jussieu.fr (akasha.ijm.jussieu.fr [134.157.173.57]) by shiva.jussieu.fr (8.12.5/jtpda-5.4) with ESMTP id g7D9NSjR058194 ; Tue, 13 Aug 2002 11:23:30 +0200 (CEST) Received: by akasha.ijm.jussieu.fr (Postfix, from userid 11004) id 505973C9E1; Tue, 13 Aug 2002 11:23:23 +0200 (CEST) From: Olivier Andrieu MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-ID: <15704.53259.116009.936737@akasha.ijm.jussieu.fr> Date: Tue, 13 Aug 2002 11:23:23 +0200 To: "Alexander V.Voinov" Cc: yangsx@fltrp.com, caml-list@inria.fr Subject: Re: ocaml-info. was: Re: [Caml-list] ocaml-mode-3.05 In-Reply-To: <20020812.161145.59484951.avv@quasar.ipa.nw.ru> References: <3D50B61E.2090204@fltrp.com> <20020808085059U.garrigue@kurims.kyoto-u.ac.jp> <3D51C728.6040204@fltrp.com> <20020812.161145.59484951.avv@quasar.ipa.nw.ru> X-Mailer: VM 7.07 under Emacs 20.7.1 X-Antivirus: scanned by sophie at shiva.jussieu.fr Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Alexander V.Voinov [Monday 12 August 2002] : > > Hi All, > > Once we mentioned emacs in the context of OCaml, can we discuss > the current state of the corresponding info files? There are > some glitches, like these two: > > 1) keyword search does not work through chapters; > 2) One can't ascend to the info top level by pressing 'u'. > > The latter is annoying if one wants to see some other manuals. They > become locked out. > > Or did I do something wrong? Does anybody use OCaml manual in the form > of info pages? If you're interested in the documentation for the standard library modules (and not the compilers manuals nor the introduction), you can use ocamldoc-generated Info files. These look more like regular GNU Info documentation. And there's some caml-help.el helper code in the ocaml distribution for searching keywords. I packaged these Info files here : http://oandrieu.nerim.net/ocaml/ocaml.info.tar.gz -- Olivier ------------------- 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 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 XAA02669; Tue, 13 Aug 2002 23:24:41 +0200 (MET DST) 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 XAA02682 for ; Tue, 13 Aug 2002 23:24:39 +0200 (MET DST) X-SPAM-Warning: Sending machine is listed in blackholes.five-ten-sg.com Received: from str12.sobor.org (adsl-63-198-183-99.dsl.snfc21.pacbell.net [63.198.183.99]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g7DLObL00473 for ; Tue, 13 Aug 2002 23:24:38 +0200 (MET DST) Received: from localhost (localhost.localdomain [127.0.0.1]) by str12.sobor.org (Postfix) with ESMTP id 83EA499860; Tue, 13 Aug 2002 14:13:35 -0700 (PDT) Date: Tue, 13 Aug 2002 14:13:34 -0700 (PDT) Message-Id: <20020813.141334.74731453.avv@quasar.ipa.nw.ru> To: andrieu@ijm.jussieu.fr Cc: yangsx@fltrp.com, caml-list@inria.fr Subject: Re: ocaml-info. was: Re: [Caml-list] ocaml-mode-3.05 From: "Alexander V.Voinov" In-Reply-To: <15704.53259.116009.936737@akasha.ijm.jussieu.fr> References: <3D51C728.6040204@fltrp.com> <20020812.161145.59484951.avv@quasar.ipa.nw.ru> <15704.53259.116009.936737@akasha.ijm.jussieu.fr> X-Mailer: Mew version 2.2 on Emacs 21.1 / Mule 5.0 (SAKAKI) Mime-Version: 1.0 Content-Type: Text/Plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Hi Olivier, Thank you, it's a useful selection. I would add C api to it. Alexander From: Olivier Andrieu Subject: Re: ocaml-info. was: Re: [Caml-list] ocaml-mode-3.05 Date: Tue, 13 Aug 2002 11:23:23 +0200 > Alexander V.Voinov [Monday 12 August 2002] : > > > > Hi All, > > > > Once we mentioned emacs in the context of OCaml, can we discuss > > the current state of the corresponding info files? There are > > some glitches, like these two: > > > > 1) keyword search does not work through chapters; > > 2) One can't ascend to the info top level by pressing 'u'. > > > > The latter is annoying if one wants to see some other manuals. They > > become locked out. > > > > Or did I do something wrong? Does anybody use OCaml manual in the form > > of info pages? > > If you're interested in the documentation for the standard library > modules (and not the compilers manuals nor the introduction), you can > use ocamldoc-generated Info files. These look more like regular GNU > Info documentation. And there's some caml-help.el helper code in the > ocaml distribution for searching keywords. > > I packaged these Info files here : > http://oandrieu.nerim.net/ocaml/ocaml.info.tar.gz > > -- > Olivier > ------------------- 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