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=1.0 required=5.0 tests=AWL,SPF_FAIL 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 4CE4ABC69 for ; Tue, 18 Dec 2007 22:58:04 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAMPQZ0fVpUAUkmdsb2JhbACQAQEBAQEHAgYJChaaBA X-IronPort-AV: E=Sophos;i="4.24,182,1196636400"; d="scan'208";a="6990261" Received: from mail.gmx.net ([213.165.64.20]) by mail3-smtp-sop.national.inria.fr with SMTP; 18 Dec 2007 22:58:03 +0100 Received: (qmail invoked by alias); 18 Dec 2007 21:58:03 -0000 Received: from e178071070.adsl.alicedsl.de (EHLO [192.168.2.177]) [85.178.71.70] by mail.gmx.net (mp034) with SMTP; 18 Dec 2007 22:58:03 +0100 X-Authenticated: #6007662 X-Provags-ID: V01U2FsdGVkX1/AJj1WhrHAomTBymr9RIwR13ymRY+phgq3pw6r30 tMEDB66WibG6AU Message-Id: From: Jan Rehders To: caml-list@yquem.inria.fr In-Reply-To: <9f09a07a0712180653l4d2d218ay8cbd0bc9e6698b77@mail.gmail.com> Content-Type: text/plain; charset=US-ASCII; format=flowed; delsp=yes Content-Transfer-Encoding: 7bit Mime-Version: 1.0 (Apple Message framework v915) Subject: Re: [Caml-list] Emacs mode for revised syntax Date: Tue, 18 Dec 2007 22:58:02 +0100 References: <4766A868.7090406@stork.ru> <9f09a07a0712170926q6adffbdfx5d6ec797f4062aa7@mail.gmail.com> <9f09a07a0712180653l4d2d218ay8cbd0bc9e6698b77@mail.gmail.com> X-Mailer: Apple Mail (2.915) X-Y-GMX-Trusted: 0 X-Spam: no; 0.00; emacs:01 syntax:01 matthieu:01 dubuget:01 syntax:01 compilation:01 emacs:01 emits:01 toplevel:01 wrote:01 caml-list:01 caml-list:01 ast:02 ast:02 lisp:02 On 18.12.2007, at 15:53, Matthieu Dubuget wrote: > I do not know if it is at will, but you only replied to myself, > not to caml-list. Oh, thank you for the notification. Here's my reply, again: > - it would have to know wich syntax extension is used in each > file. Until know, this knowledge is at building tools level? Would > it be a good idea to move this information inside the files. This also has the potential to simplify build files. This would be a Good Thing(tm). On the other hand it could cause troubles if one would want to use different extensions for different build configurations (the conditional compilation extension might make this desirable). This could probably be resolved by making the specified extension the default one and allowing one to override it on the command line. > Well would it be possible (and enough) or something to much difficult > to add some more simple tools that would help any IDE? > Like -dtypes does, for example. > I mean simple tools that would make editors mode more simple to > write (especially emacs, since this is the one I tend to use ;-) A tool which emits something like an annotated AST containing information like unique ids for names, their AST types etc. would be very useful. It could be used for syntax highlighting as well as more intricate tasks like refactoring tools. This might prove to be very useful for IDE builders. I also made good experiences letting emacs query an interactive toplevel for completions etc (for a custom language). Steal.. erm getting inspiration from the lisp community