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 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id C7685BC6B for ; Wed, 25 Jul 2007 09:41:29 +0200 (CEST) Received: from smtp3-g19.free.fr (smtp3-g19.free.fr [212.27.42.29]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l6P7fTV9019175 for ; Wed, 25 Jul 2007 09:41:29 +0200 Received: from smtp3-g19.free.fr (localhost.localdomain [127.0.0.1]) by smtp3-g19.free.fr (Postfix) with ESMTP id 55AD64E; Wed, 25 Jul 2007 09:41:29 +0200 (CEST) Received: from Tocksi.local (lns-bzn-23-82-248-109-75.adsl.proxad.net [82.248.109.75]) by smtp3-g19.free.fr (Postfix) with ESMTP id 1BCA886F7; Wed, 25 Jul 2007 09:41:29 +0200 (CEST) Message-ID: <46A6FEA2.5090708@univ-savoie.fr> Date: Wed, 25 Jul 2007 09:41:22 +0200 From: Christophe Raffalli User-Agent: Thunderbird 2.0.0.5 (Macintosh/20070716) MIME-Version: 1.0 To: Nicolas Bros Cc: caml-list@yquem.inria.fr Subject: Re: [Caml-list] OCalDE References: <46A4D58C.2060108@univ-savoie.fr> <4fbf351c0707250027t33c80ef1gc57f686ef9cfb376@mail.gmail.com> In-Reply-To: <4fbf351c0707250027t33c80ef1gc57f686ef9cfb376@mail.gmail.com> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit X-Miltered: at concorde with ID 46A6FEA9.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; christophe:01 raffalli:01 christophe:01 raffalli:01 univ-savoie:01 parser:01 camlp:01 parser:01 ocaml:01 parses:01 syntax:01 syntax:01 camlp:01 appart:01 ocaml:01 Nicolas Bros a écrit : >> How can I tell eclipse parser about my own camlp4 extension ? > > For now, you can't. OcaIDE uses a custom parser written in Java, > copied from the rules of the original Ocaml parser. So, it only parses > standard syntax. > To parse a modified syntax, the file would first have to be processed > by camlp4. > But then, how would OcaIDE get the positions of the elements in the > original unprocessed file? > > You could take the same approach than proof general for eclipse, writte a parser with anything (this includes camlp4) whose output is a copy of the original file with xml annotation. Such a parser should allow camlp4 extension ... The main problem, is that appart from the xml annotation the text should not be changed, so a camlp4 pretty-printer will not workd. However, the parser could simply produce the position where to add xml annotation that are inserter in a second phase into the original input ... So what needs to be written is a camlp4 parser that produce pairs with positions and xml annotation ... and that also perform a little error recovery ... >> No progress about the darcs incompatibility related to "linked URLs" >> used by OCaIDE >> and not supported by darcs eclipse. > > I think this is more of a problem with darcs than with OcaIDE. > Yes, probably, but what is a "linked URL" and what is their use in OCaIDE ? If it is the link to the ocaml library, then it is strange that darcs think linked URL matters ?