From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 1123BBC75 for ; Tue, 22 Feb 2005 20:11:58 +0100 (CET) Received: from out1.smtp.messagingengine.com (out1.smtp.messagingengine.com [66.111.4.25]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j1MJBv6X000682 for ; Tue, 22 Feb 2005 20:11:57 +0100 Received: from frontend2.messagingengine.com (frontend2.internal [10.202.2.151]) by frontend1.messagingengine.com (Postfix) with ESMTP id A1E7CC59F81; Tue, 22 Feb 2005 14:11:53 -0500 (EST) X-Sasl-enc: S4YxHjjv9wmCG6vimHrA5g 1109099508 Received: from [172.16.112.115] (burnham.ljcrf.edu [192.231.106.2]) by frontend2.messagingengine.com (Postfix) with ESMTP id D7DE6570159; Tue, 22 Feb 2005 14:11:47 -0500 (EST) Date: Tue, 22 Feb 2005 11:11:47 -0800 (PST) From: Martin Jambon X-X-Sender: martin@localhost To: Hal Daume III Cc: Caml Mailing List Subject: Re: [Caml-list] disagreement over interface In-Reply-To: Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Miltered: at nez-perce with ID 421B83FD.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 wrote:01 foo:01 cmo:01 ledit:01 ocaml:01 ocaml':01 ...:98 century:98 jambon:02 jambon:02 caml:02 objective:02 structural:05 remedy:94 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.1 required=5.0 tests=FORGED_RCVD_HELO autolearn=disabled version=3.0.2 X-Spam-Level: On Tue, 22 Feb 2005, Hal Daume III wrote: [...] > The only way I have found to remedy this is to quit my current top level, > rerun and then load foo.cmo from there, but this is a major pain. I > assume I'm just missing something stupid. Can someone tell me what to do? You should use ledit: $ alias oc='ledit -x -h ~/.ocaml_history ocaml' $ oc Objective Caml version 3.08.2 # Also, OCamlMakefile has a "top" target which is convenient for this kind of things. Martin -- Martin Jambon, PhD Researcher in Structural Bioinformatics since the 20th Century The Burnham Institute http://www.burnham.org San Diego, California