Version française
Home     About     Download     Resources     Contact us    
Browse thread
OCalDE
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Christophe Raffalli <christophe.raffalli@u...>
Subject: OCalDE

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