From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 8B462BB84 for ; Sun, 28 Sep 2008 02:06:32 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjECAINn3kjAXQImiGdsb2JhbACTNQEBARUin0OFdDyBZw X-IronPort-AV: E=Sophos;i="4.33,322,1220220000"; d="scan'208";a="17422948" Received: from discorde.inria.fr ([192.93.2.38]) by mail3-smtp-sop.national.inria.fr with ESMTP; 28 Sep 2008 02:06:32 +0200 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m8S06VvR013508 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Sun, 28 Sep 2008 02:06:32 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjECAL5n3kip5TxXiGdsb2JhbACTNQEBARUin0OFcDyBZw X-IronPort-AV: E=Sophos;i="4.33,322,1220220000"; d="scan'208";a="17838999" Received: from gateway0.eecs.berkeley.edu ([169.229.60.87]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 28 Sep 2008 02:06:30 +0200 Received: from [10.0.1.4] (adsl-70-137-140-236.dsl.snfc21.sbcglobal.net [70.137.140.236]) (authenticated bits=0) by gateway0.EECS.Berkeley.EDU (8.14.3/8.13.5) with ESMTP id m8S06Fjn018075 (version=TLSv1/SSLv3 cipher=AES128-SHA bits=128 verify=NOT); Sat, 27 Sep 2008 17:06:20 -0700 (PDT) Mime-Version: 1.0 (Apple Message framework v753.1) In-Reply-To: <200809261301.07773.peng.zang@gmail.com> References: <715700.7037.qm@web54607.mail.re2.yahoo.com> <48DD0B19.7080802@andrej.com> <200809261301.07773.peng.zang@gmail.com> Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed Message-Id: <33A1E78C-DE42-4453-B4D3-8FACF0A40985@cs.berkeley.edu> Content-Transfer-Encoding: 7bit From: Brighten Godfrey Subject: Re: [Caml-list] Teaching ocaml programming Date: Sat, 27 Sep 2008 17:06:43 -0700 To: peng.zang@gmail.com, Andrej.Bauer@andrej.com, Nathaniel Gray , Caml X-Mailer: Apple Mail (2.753.1) X-Miltered: at discorde with ID 48DECA87.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 gedit:01 programmatic:01 compilation:01 gedit:01 nedit:01 nedit:01 ocaml:01 compiler:01 gcc:01 26,:98 peng:98 26,:98 wrote:01 wrote:01 On Sep 26, 2008, at 10:01 AM, Peng Zang wrote: > So, if gedit has a programmatic interface you can write > shell script to parse the compilation errors (just look for line > numbers) and > send a command to gedit to go to the appropriate line. I don't > know if gedit > has that capability, but certainly there may be other text editors > that do. such as nedit -- see script below. On Sep 26, 2008, at 3:09 PM, Nathaniel Gray wrote: > On Fri, Sep 26, 2008 at 5:10 AM, Brighten Godfrey > wrote: >> I use, on a daily basis, a small script which acts as a front-end >> to `make' >> and automatically points you to the error in the code in nedit, >> highlighting >> the characters that the ocaml compiler complains about. It uses the >> existing nedit window if you have the file open already, or else >> opens it >> for you. The script also works with gcc instead of ocaml, and >> (though I >> can't vouch for it much) gvim instead of nedit. So my typical >> development >> environment consists of nedit and a shell in which I compile via >> the script. >> >> If anyone is interested, I'd be happy to share this. > > I for one am interested -- that could come in handy! OK, here it is: http://www.cs.berkeley.edu/~pbg/mindy/ ~Brighten