Browse thread
OCalDE
- Christophe Raffalli
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ 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