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,TVD_SPACED_SUBJECT_WORD 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 B4B94BC6B for ; Mon, 23 Jul 2007 18:21:37 +0200 (CEST) Received: from net.univ-savoie.fr (net.univ-savoie.fr [193.48.120.75]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l6NGLbjI017644 (version=TLSv1/SSLv3 cipher=EDH-RSA-DES-CBC3-SHA bits=168 verify=NO) for ; Mon, 23 Jul 2007 18:21:37 +0200 Received: from post.bourget.univ-savoie.fr (post.bourget.univ-savoie.fr [193.48.120.73]) by net.univ-savoie.fr (8.12.3/jtpda-5.4) with ESMTP id l6NGLXQr030758 for ; Mon, 23 Jul 2007 18:21:33 +0200 Received: from [193.48.123.45] (d45.lama.univ-savoie.fr [193.48.123.45]) by post.bourget.univ-savoie.fr (8.12.3/jtpda-5.4) with ESMTP id l6NGLQxd017262 ; Mon, 23 Jul 2007 18:21:26 +0200 Message-ID: <46A4D58C.2060108@univ-savoie.fr> Date: Mon, 23 Jul 2007 18:21:32 +0200 From: Christophe Raffalli User-Agent: Thunderbird 1.5.0.10 (X11/20070403) MIME-Version: 1.0 To: caml-list@inria.fr Subject: OCalDE Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit X-Scanned-By: MIMEDefang 2.33 (www . roaringpenguin . com / mimedefang) X-Miltered: at concorde with ID 46A4D591.001 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 camlp:01 bug:01 cheers:01 chablais:01 73376:01 univ-savoie:01 lama:01 universite:02 Dear list members, Here is a list of questions I have about eclipse and OCalDE (some of them probably easy, because I am not used to eclipse): - How can I tell eclipse parser about my own camlp4 extension ? - How can I configure some "Run script" (typically a "make check" launched from eclipse), to test and debug my code ? - I find that "format using camlp4" adds to much parenthesis, is it possible to do something about it (it is probably necessary to fine tune the camlp4 pretty printer ?) - The "Content Assist" menu is very nice ... but even with the proper folder added to the Project Path, It does not always work for my own local function (this may be related to my next question) - I use unison ... I told it not to synchronise ~/.eclipse and ~/worspace/.metadata, but this does not work well enough (If I create a project on another machine, the new project needs to be added on the other machine despite the fact that the folder was copied by unison in the workspace folder). So what is the correct way to use unison together with eclipse (I am afraid to make a mess in eclipse files) ? (remark I do not quit always eclipse before synchronisation with unison) - No progress about the darcs incompatibility related to "linked URLs" used by OCaIDE and not supported by darcs eclipse. - I had two or three time a file opened where all modifications where in fact not performed on the filesystem (closing and reopening the file solved the problem). Is this a known bug with eclipse (I can not reproduce it yet) ? Cheers, -- Christophe Raffalli Université de Savoie Batiment Le Chablais, bureau 21 73376 Le Bourget-du-Lac Cedex tél: (33) 4 79 75 81 03 fax: (33) 4 79 75 87 42 mail: Christophe.Raffalli@univ-savoie.fr www: http://www.lama.univ-savoie.fr/~RAFFALLI