From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 063E7BBAF for ; Tue, 5 Jan 2010 15:14:45 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AuIAADjYQkvVhjEXkWdsb2JhbACPT4wNAQEBAQkLCgcTA4gxrmWEMASJJg X-IronPort-AV: E=Sophos;i="4.47,505,1257116400"; d="scan'208";a="44219398" Received: from ihsmtp01voda.lis.interhost.com (HELO ihsmtp01cons.lis.interhost.com) ([213.134.49.23]) by mail1-smtp-roc.national.inria.fr with ESMTP; 05 Jan 2010 15:14:39 +0100 Received: from [192.168.1.64] ([95.136.106.136]) by ihsmtp01cons.lis.interhost.com with Microsoft SMTPSVC(6.0.3790.3959); Tue, 5 Jan 2010 14:14:38 +0000 Message-ID: <4B434947.6060406@inescporto.pt> Date: Tue, 05 Jan 2010 14:14:31 +0000 From: Hugo Ferreira User-Agent: Thunderbird 2.0.0.23 (X11/20090817) MIME-Version: 1.0 To: Alain Frisch Cc: Jon Harrop , caml-list@yquem.inria.fr Subject: Re: [Caml-list] Favorite OCaml editor? References: <756daca51001042203w3c6a397cx6a5d594c28855a4d@mail.gmail.com> <201001050813.16437.jon@ffconsultancy.com> <4B4313FB.6070808@frisch.fr> In-Reply-To: <4B4313FB.6070808@frisch.fr> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-OriginalArrivalTime: 05 Jan 2010 14:14:38.0738 (UTC) FILETIME=[6A977720:01CA8E11] X-Spam: no; 0.00; ocaml:01 frisch:01 ocaml:01 lablgtk:01 camlp:01 parser:01 syntax:01 parsers:01 camlp:01 parser:01 syntax:01 haskell:01 emacs:01 beginner's:01 bug:01 To the OP: Eclipse + OcalIDE Alain Frisch wrote: > On 05/01/2010 09:13, Jon Harrop wrote: >> I think the best way to write a decent editor for OCaml would be to >> write one >> using LablGTK for the GUI and camlp4 to parse OCaml code. > > It is indeed very tempting to reuse an existing OCaml parser in order to > support syntax-related features (indentation, coloring, and whatnot); > especially if you can then support syntax extension properly. > > The problem is that the editor is supposed to work even with partial or > syntactically invalid code, which is not the case for the OCaml parsers > (built-in or Camlp4-based). It would be great to have a parser for OCaml > syntax, with robust error recovery. Has anyone worked on such a project? > > This is indeed a thorny issue. The developer of OcalIDE is taking another stab at this but this time using Camlp4 [1]. BTW the way the Haskell eclipse plug-in [2] also has to deal with such issues. In their case they use a generic library and API [3] that should be usable by any number of IDEs and editors (already used by emacs). May be of interest to you also. [1] http://ocaml.eclipse.free.fr/forum/viewtopic.php?f=1&t=226 [2] http://eclipsefp.sourceforge.net/ [3] http://code.google.com/p/scion-lib/ Hugo F. > Alain > > > _______________________________________________ > Caml-list mailing list. Subscription management: > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > Archives: http://caml.inria.fr > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs >