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 JAA08239; Wed, 25 Apr 2001 09:03:20 +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 JAA07939 for ; Wed, 25 Apr 2001 09:03:19 +0200 (MET DST) Received: from lamppc21.epfl.ch (lamppc21.epfl.ch [128.178.154.26]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f3P73HX05004 for ; Wed, 25 Apr 2001 09:03:17 +0200 (MET DST) Received: (from schinz@localhost) by lamppc21.epfl.ch (8.9.3/8.9.3) id JAA29905; Wed, 25 Apr 2001 09:03:14 +0200 X-Authentication-Warning: lamppc21.epfl.ch: schinz set sender to Michel.Schinz@epfl.ch using -f To: caml-list@inria.fr Subject: Re: [Caml-list] toplevel is hanging References: <200104250649.IAA23930@ilt.fhg.de> From: Michel Schinz Date: 25 Apr 2001 09:03:14 +0200 In-Reply-To: <200104250649.IAA23930@ilt.fhg.de> Message-ID: User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.0.102 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk wester@ilt.fhg.de writes: [...] > > I can't remember seeing this particular bug-report, but I'll look > > into it. Of course, there's a third solution (the one used in > > sml-mode) which is for tuareg to use a temporary file. > > > Hi Stefan, > > could you be so kind and tell me how this can be done. Do I have > do change the Tuareg *.el files or some entries in my .emacs file? The easiest thing is to look at Stefan's sml mode and port the code to Tuareg. If you just want Tuareg to use temporary files, it's pretty easy. Sml-mode adds some bells and whistles to that (mostly concerning error handling), which are a bit less trivial to port. I did that for an enhanced version of the "standard" Caml mode (Leroy, Zimmerman and Garrigue's one) which is lying, half finished, somewhere on my harddisk. I'll try to put it in a releasable state soon, if I can find some time. Michel. ------------------- To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr