From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id WAA08107 for caml-redistribution; Wed, 17 Mar 1999 22:03:25 +0100 (MET) 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 PAA11613 for ; Wed, 17 Mar 1999 15:44:45 +0100 (MET) Received: from p-biset.issy.cnet.fr (p-biset.issy.cnet.fr [139.100.0.33]) by concorde.inria.fr (8.8.7/8.8.7) with SMTP id PAA11511 for ; Wed, 17 Mar 1999 15:44:43 +0100 (MET) Received: from l-mhs1.lannion.cnet.fr ([161.104.1.59]) by p-biset.issy.cnet.fr with SMTP (Microsoft Exchange Internet Mail Service Version 5.5.2232.9) id GGMKRK6Z; Wed, 17 Mar 1999 15:40:34 +0100 Received: from lsun162.cnet (lsun162.lannion.cnet.fr [161.104.8.27]) by l-mhs1.lannion.cnet.fr with SMTP (Microsoft Exchange Internet Mail Service Version 5.5.2232.9) id ZNBGS8BS; Wed, 17 Mar 1999 15:49:22 +0100 From: Pascal Brisset MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-ID: <14063.49111.124608.141929@lsun162.cnet> Date: Wed, 17 Mar 1999 15:44:39 +0100 (MET) To: caml-list@inria.fr Subject: Emacs mode with typing for ocaml X-Mailer: VM 6.47 under Emacs 20.2.1 Sender: weis A new Emacs mode is available for testing at : http://perso.wanadoo.fr/pascal.brisset/OcamlIT/ Extracts from the README follow. OVERVIEW CamlIT (Caml Interactive Typing) is yet another emacs mode for Objective Caml source files. It runs a toplevel in the background in order to obtain typing information about definitions and all their subexpressions, including function arguments and patterns. This is especially useful when examining complex third-party source files. INSTALLATION Requires Objective Caml 2.01 or 2.02. Tested on Linux and Solaris with GNU emacs 20.2.1 and XEmacs 20.4. Put camlit.el in your emacs load-path and add to your .emacs: (autoload 'camlit-minor-mode "camlit" "Caml Interactive Typing" t) Alternatively, just load camlit.el manually with [M-x load-file]. USAGE - [M-x camlit-minor-mode] enables CamlIT. - [C-t C-t] shows the full name (if relevant) and type of the Caml expression at the cursor location. Multiple invocations enlarge the scope to the enclosing syntactic expression. - [C-t C-k] resets the toplevel (recovers from inconsistent states). CAVEATS - CamlIT actually executes your Caml code. It should be used only on files which contain definitions without unwanted side-effects. - CamlIT uses type-unsafe tricks to interface with the toplevel (the point is, you don't have to recompile anything). This may cause crashes and other dangerous effects, especially if you are not running either the standard toplevel or a toplevel generated by ocamlmktop. ACKNOWLEDGEMENTS The features of CamlIT were inspired by several existing works on structured editors and proof assistants. - Pascal Brisset +33296051928 - - France Telecom CNET DTL/MSV | 2 av Pierre Marzin | F-22307 Lannion -