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.2 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr 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 BA12EBBE4 for ; Sat, 27 Sep 2008 00:09:43 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AiYBAOL53EjRVcbvlGdsb2JhbACSbj4BAQEBCQkMBxEDoSJrhxEBAoUF X-IronPort-AV: E=Sophos;i="4.33,316,1220220000"; d="scan'208";a="17400214" Received: from discorde.inria.fr ([192.93.2.38]) by mail3-smtp-sop.national.inria.fr with ESMTP; 27 Sep 2008 00:09:43 +0200 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m8QM9g5Y015557 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Sat, 27 Sep 2008 00:09:43 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AiYBAOL53EjRVcbvlGdsb2JhbACSbj4BAQEBCQkMBxEDoSJrhxEBAoUF X-IronPort-AV: E=Sophos;i="4.33,316,1220220000"; d="scan'208";a="17400213" Received: from rv-out-0506.google.com ([209.85.198.239]) by mail3-smtp-sop.national.inria.fr with ESMTP; 27 Sep 2008 00:09:42 +0200 Received: by rv-out-0506.google.com with SMTP id k40so1050152rvb.57 for ; Fri, 26 Sep 2008 15:09:41 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:to :subject:cc:in-reply-to:mime-version:content-type :content-transfer-encoding:content-disposition:references; bh=ZbedfakyVCcYIpmUJqOajo5IagUGWFVyIXl/LjuFzhA=; b=G5CB4ultlK294BfmcXU4FriQybS+zCb7IdEoo6JkPaVxvna3zNlxUg7whjasCSLUxj +G6JX7wEhuFOWV9mDLgoBGFeFTdCp21xOwpK+ATLSueKlwjsL/nOgEdOCfv1jKrtInze 4+9+ckJE1CcpfuaOKmG6Ua84MF1Pu68nmN3YE= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:to:subject:cc:in-reply-to:mime-version :content-type:content-transfer-encoding:content-disposition :references; b=AAZtusW70qUoA2EB2OyITZQOqUKWZteIAT7wnkjjI5D3cNV67ca624tecsOIXdVSua z6GxDXP8AxY6k6rpEQUh/tbH0wuOojcjyYJQeQmOVG2/gAK6XQsBS7FNuhSVCpXIMb90 95tGOa0qiFRQjjHY7dZxVaetge3dxZ+jjDVJA= Received: by 10.141.132.1 with SMTP id j1mr1036230rvn.64.1222466981152; Fri, 26 Sep 2008 15:09:41 -0700 (PDT) Received: by 10.141.123.21 with HTTP; Fri, 26 Sep 2008 15:09:41 -0700 (PDT) Message-ID: Date: Fri, 26 Sep 2008 15:09:41 -0700 From: "Nathaniel Gray" To: "Brighten Godfrey" Subject: Re: [Caml-list] Teaching ocaml programming Cc: Andrej.Bauer@andrej.com, Caml In-Reply-To: <23DFDBA7-C437-44E7-8495-D35F396A3889@cs.berkeley.edu> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <48DCC7B8.4070700@fmf.uni-lj.si> <23DFDBA7-C437-44E7-8495-D35F396A3889@cs.berkeley.edu> X-Miltered: at discorde with ID 48DD5DA6.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 nedit:01 ocaml:01 compiler:01 nedit:01 gcc:01 toplevel:01 toplevel:01 cheers:01 26,:98 wrote:01 compile:01 complains:01 caml-list:01 external:03 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! > I guess the main question would be integrating the toplevel with nedit. I > imagine there are a number of ways to do this, depending on your needs. You > might be able to put something together using nedit's scripting language, or > just do something entirely external to the editor. You won't have any luck integrating the toplevel into nedit. There's just no way to do it within the editor as it stands today. But it's not *that* hard to run a shell alongside your editor. Cheers, -n8 -- >>>-- Nathaniel Gray -- Caltech Computer Science ------> >>>-- Mojave Project -- http://mojave.cs.caltech.edu -->