From: Remi VANICAT <remi.vanicat@labri.u-bordeaux.fr>
To: "Juan J. Quintela" <quintela@fi.udc.es>
Cc: Markus Mottl <mottl@miss.wu-wien.ac.at>,
bcpierce@cis.upenn.edu, Mattias Waldau <mattias.waldau@abc.se>,
caml-list@inria.fr
Subject: Re: Good programming languages (Was: Redefinition doesn't work)
Date: 10 Nov 2000 20:06:54 +0100 [thread overview]
Message-ID: <ya3lmurtzn5.dlv@serveur1-1.labri.u-bordeaux.fr> (raw)
In-Reply-To: "Juan J. Quintela"'s message of "09 Nov 2000 17:20:46 +0100"
"Juan J. Quintela" <quintela@fi.udc.es> writes:
> >>>>> "markus" == Markus Mottl <mottl@miss.wu-wien.ac.at> writes:
>
> markus> On Fri, 03 Nov 2000, bcpierce@cis.upenn.edu wrote:
> >> I find that Emacs is an excellent tool for searching for functions in
> >> the OCaml library. The developers have helpfully provided a pure-ascii
> >> version of the documentation, and a couple of incremental searches
> >> usually gets me to what I want in a few second.
>
> markus> VIM-users might want to put the following function definition into their
> markus> .bashrc-file:
>
> markus> function ocdoc () { command vim -R $OCAMLLIBPATH/$1; }
>
> markus> where $OCAMLLIBPATH is set to the location of the library directory. A
> markus> simple e.g. "ocdoc list.mli" (or also "ocdoc list.ml") on the command
> markus> line will display the nicely highlighted code in a shell window (starting
> markus> up Emacs in a similar way is just too slow :-)
>
> Have you ever heard of emacsclient????
why use emacsclient ? if you use emacs, you can do an Emacs command to
do the work, after all, are'nt you making your job in Emacs ?
say :
(defun ocdoc (lib) (interactive "sThe library file: ")
(view-file (concat ocaml-library-path lib)))
(suposed that the emacs variable ocaml-lib-path is already set.)
and the M-x ocdoc will do the job...
Tuareg already have a similar binding
--
Rémi Vanicat
vanicat@labri.u-bordeaux.fr
http://dept-info.labri.u-bordeaux.fr/~vanicat
next prev parent reply other threads:[~2000-11-11 16:09 UTC|newest]
Thread overview: 21+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <200010300739.IAA13016@pauillac.inria.fr>
2000-10-30 23:38 ` Redefinition doesn't work Jaeyoun Chung
2000-10-31 11:06 ` Pierre Weis
2000-10-31 11:52 ` Sven LUTHER
2000-10-31 16:47 ` Pierre Weis
2000-10-31 18:55 ` Stefan Monnier
2000-11-02 15:42 ` Pierre Weis
2000-11-03 3:10 ` Stefan Monnier
2000-11-03 8:44 ` Good programming languages (Was: Redefinition doesn't work) Mattias Waldau
2000-11-03 15:27 ` bcpierce
2000-11-06 0:17 ` Jacques Garrigue
2000-11-08 18:42 ` Markus Mottl
2000-11-09 16:20 ` Juan J. Quintela
2000-11-10 10:06 ` Markus Mottl
2000-11-13 7:48 ` Stephan Houben
2000-11-10 19:06 ` Remi VANICAT [this message]
2000-11-06 6:17 ` Francisco Reyes
2000-11-07 17:36 ` Brian Rogoff
2000-10-31 14:16 ` Redefinition doesn't work Frank Atanassow
2000-10-31 17:07 ` Pierre Weis
2000-10-31 17:26 ` LINUX MANDRAKE -> CAMLTK? mlf
2000-11-02 20:21 ` Pierre Weis
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=ya3lmurtzn5.dlv@serveur1-1.labri.u-bordeaux.fr \
--to=remi.vanicat@labri.u-bordeaux.fr \
--cc=bcpierce@cis.upenn.edu \
--cc=caml-list@inria.fr \
--cc=mattias.waldau@abc.se \
--cc=mottl@miss.wu-wien.ac.at \
--cc=quintela@fi.udc.es \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox