OcaIDE: a new Eclipse plug-in for O'Caml

OcaIDE: a new Eclipse plug-in for O'Caml

[Jon Harrop]

This was sounding quite nice and I've been meaning to try Eclipse and Scala. 
However, I just managed to get the necessary software installed under Debian 
Linux and am finding it to be extremely unstable. I'm seeing null pointer 
exceptions and lots of hanging.

One point of particular concern is the startup message:

searching for compatible vm...
  testing /usr/lib/jvm/java-gcj...found

which implies that Eclipse has chosen to run using the GNU Java clone rather 
than the real thing (which is installed).

Has anyone else here found Eclipse to be usable?

-- 
Dr Jon D Harrop, Flying Frog Consultancy Ltd.
OCaml for Scientists
http://www.ffconsultancy.com/products/ocaml_for_scientists/?e

Re: [Caml-list] OcaIDE: a new Eclipse plug-in for O'Caml

[Christophe Raffalli]

Jon Harrop a écrit :
> This was sounding quite nice and I've been meaning to try Eclipse and Scala. 
> However, I just managed to get the necessary software installed under Debian 
> Linux and am finding it to be extremely unstable. I'm seeing null pointer 
> exceptions and lots of hanging.
>
> One point of particular concern is the startup message:
>
> searching for compatible vm...
>   testing /usr/lib/jvm/java-gcj...found
>
> which implies that Eclipse has chosen to run using the GNU Java clone rather 
> than the real thing (which is installed).
>
> Has anyone else here found Eclipse to be usable?
>
>   
As said in some post previously, you need sun-java (6 preferably) and 
start eclipse with -vm to tell him
the java path.

Christophe

Re: [Caml-list] OcaIDE: a new Eclipse plug-in for O'Caml

[Jon Harrop]

On Monday 23 July 2007 09:14:35 Christophe wrote:
> As said in some post previously, you need sun-java (6 preferably) and
> start eclipse with -vm to tell him
> the java path.

Wonderful: that fixed all of the problems. This IDE looks absolutely 
fantastic! 8-)

-- 
Dr Jon D Harrop, Flying Frog Consultancy Ltd.
OCaml for Scientists
http://www.ffconsultancy.com/products/ocaml_for_scientists/?e

Re: [Caml-list] OcaIDE: a new Eclipse plug-in for O'Caml

[Roland Kaufmann]

Jon Harrop wrote:
> 
> which implies that Eclipse has chosen to run using the GNU Java clone
> rather 
> than the real thing (which is installed).
> 

I reckon that you've installed "the real thing" with something like `sudo
apt-get sun-java6-jdk` (which at least is the package name in my Ubuntu
Feisty Debian derivative). You should then look into the `sudo
update-alternatives --config java` command, to set this as the default VM.
-- 
View this message in context: http://www.nabble.com/OcaIDE%3A-a-new-Eclipse-plug-in-for-O%27Caml-tf4128080.html#a11920014
Sent from the Caml Discuss2 mailing list archive at Nabble.com.

OcaIDE: a new Eclipse plug-in for O'Caml

[Nicolas Bros]

[-- Attachment #1: Type: text/plain, Size: 239 bytes --]

Hello everybody,

I am happy to announce the release of OcaIDE: a new Eclipse plug-in for
O'Caml.
Please visit this site for more information, screenshots, and to install it:
http://ocaml.eclipse.ortsa.com

Thank you, and have a good day!

[-- Attachment #2: Type: text/html, Size: 311 bytes --]

Re: [Caml-list] OcaIDE: a new Eclipse plug-in for O'Caml

[Vu Ngoc San]

it looks very nice, and I am tempted to give it a try, although I have 
never used eclipse.... but does it really need eclipse 3.3 ?
Debian packages (unstable) provide only 3.2...

San

pS: btw, please don't use frames in your website, especially when 
external links don't open in the _principal_ frame. ;)



Nicolas Bros wrote:
> Hello everybody,
> 
> I am happy to announce the release of OcaIDE: a new Eclipse plug-in for 
> O'Caml.
> Please visit this site for more information, screenshots, and to install it:
> http://ocaml.eclipse.ortsa.com
> 
> Thank you, and have a good day!
> 
> 
> ------------------------------------------------------------------------
> 
> _______________________________________________
> Caml-list mailing list. Subscription management:
> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
> Archives: http://caml.inria.fr
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs

Re: [Caml-list] OcaIDE: a new Eclipse plug-in for O'Caml

[Luca Pascali]

Vu Ngoc San wrote:
> it looks very nice, and I am tempted to give it a try, although I have 
> never used eclipse.... but does it really need eclipse 3.3 ?
> Debian packages (unstable) provide only 3.2...
>
I tried to use it on my Debian Lenny (with packed eclipse 3.2) and it 
seems work.
Very nice project.
Usually I don't like eclipse (it's too heavy and slow, but if it works 
it can be fine).

I have imported one big project of mine and it took it without any 
problem but the creation of another makefile named "makefile" (mine is 
"Makefile")
With luck, make considers first "Makefile" name and then "makefile", but 
adding a little check should not be a big challenge.
If it should also be possible to use the capital name instead of the 
lower case one as default or at least letting the programmer to choose 
which name use (only in Windows this is not important)
> [...]
> Nicolas Bros wrote:
[...]

Anyway it is a very nice project.

Luca

Re: [Caml-list] OcaIDE: a new Eclipse plug-in for O'Caml

[Nicolas Bros]

[-- Attachment #1: Type: text/plain, Size: 913 bytes --]

>
> I have imported one big project of mine and it took it without any
> problem but the creation of another makefile named "makefile" (mine is
> "Makefile")
> With luck, make considers first "Makefile" name and then "makefile", but
> adding a little check should not be a big challenge.


For importing projects, you can use the "OCaml Empty Makefile Project"
project creation wizard. It creates a makefile project without any files
inside. Whereas the other kind of makefile project wizard, "OCaml Makefile
Project" is meant to be used as a starting point for a new project.

If it should also be possible to use the capital name instead of the
> lower case one as default or at least letting the programmer to choose
> which name use (only in Windows this is not important)


The name is determined by the "make" command, since it is called to build
the project.

Anyway it is a very nice project.


Thank you

[-- Attachment #2: Type: text/html, Size: 1478 bytes --]

RE: [Caml-list] OcaIDE: a new Eclipse plug-in for O'Caml

[David Allsopp]

> With luck, make considers first "Makefile" name and then "makefile", 
> but adding a little check should not be a big challenge.
GNU make considers GNUmakefile, makefile then Makefile
Makefile is more usual than makefile (and is recommended in the man page...)

> The name is determined by the "make" command, since it is called to build
> the project.
The -f switch for make allows another filename to be specified - although
I've not (yet) looked at the plugin this would probably be useful for
projects that have Makefile (for UNIX) and Makefile.nt (for Windows)

Re: [Caml-list] OcaIDE: a new Eclipse plug-in for O'Caml

[Luca Pascali]

David Allsopp wrote:
[...]
>> The name is determined by the "make" command, since it is called to build
>> the project.
>>     
> The -f switch for make allows another filename to be specified - although
> I've not (yet) looked at the plugin this would probably be useful for
> projects that have Makefile (for UNIX) and Makefile.nt (for Windows)
>
>   
Yep.
Anyway I looked into the source of the plug in and I found the exact 
point where the makefile is named in lowercase (I found 2 points, one in 
with capital and one in lower case).

As soon as I find how to install the modified plugin into Eclipse, I'll 
check if there are no side effects and I will submit the patch to the 
development team.
Then they will consider or drop my patch.

I'm not dicussing it here, because that's Java, not OCaml. :-)

Luca

Re: [Caml-list] OcaIDE: a new Eclipse plug-in for O'Caml

[Nicolas Bros]

> > With luck, make considers first "Makefile" name and then "makefile",
> > but adding a little check should not be a big challenge.
> GNU make considers GNUmakefile, makefile then Makefile
> Makefile is more usual than makefile (and is recommended in the man page...)
>
> > The name is determined by the "make" command, since it is called to build
> > the project.
> The -f switch for make allows another filename to be specified - although
> I've not (yet) looked at the plugin this would probably be useful for
> projects that have Makefile (for UNIX) and Makefile.nt (for Windows)

If I understand you, you would rather a "Makefile" file was generated
instead of a "makefile"?

RE: [Caml-list] OcaIDE: a new Eclipse plug-in for O'Caml

[David Allsopp]

> > > With luck, make considers first "Makefile" name and then "makefile",
> > > but adding a little check should not be a big challenge.
> > GNU make considers GNUmakefile, makefile then Makefile
> > Makefile is more usual than makefile (and is recommended in the man
> > page...)
> >
> > > The name is determined by the "make" command, since it is called to
> > build
> > > the project.
> > The -f switch for make allows another filename to be specified -
> > although I've not (yet) looked at the plugin this would probably be
> > useful for projects that have Makefile (for UNIX) and Makefile.nt (for
> > Windows)
>
> If I understand you, you would rather a "Makefile" file was generated
> instead of a "makefile"?

Yes - which I think is what the OP was hinting at too.

Re: [Caml-list] OcaIDE: a new Eclipse plug-in for O'Caml

[Nicolas Bros]

[-- Attachment #1: Type: text/plain, Size: 669 bytes --]

>
> it looks very nice, and I am tempted to give it a try, although I have
> never used eclipse.... but does it really need eclipse 3.3 ?
> Debian packages (unstable) provide only 3.2...


It should work well with Eclipse 3.2 too, although I recommend Eclipse 3.3,
because that is the version I have tested it most extensively with.

Eclipse is easy to install, you can just grab the archive, unzip it, and run
it from any folder on your hard drive.

pS: btw, please don't use frames in your website, especially when
> external links don't open in the _principal_ frame. ;)


Thanks for the advice, I will see what I can do.

And thank you for your interest in OcaIDE.

[-- Attachment #2: Type: text/html, Size: 1050 bytes --]

Re: [Caml-list] OcaIDE: a new Eclipse plug-in for O'Caml

[Gabriel Kerneis]

[-- Attachment #1: Type: text/plain, Size: 949 bytes --]

Le Sat, 14 Jul 2007 10:18:27 +0200, "Nicolas Bros"
<nicolas.bros@gmail.com> a écrit :
> > it looks very nice, and I am tempted to give it a try, although I
> > have never used eclipse.... but does it really need eclipse 3.3 ?
> > Debian packages (unstable) provide only 3.2...
> It should work well with Eclipse 3.2 too, although I recommend
> Eclipse 3.3, because that is the version I have tested it most
> extensively with.

Doesn't work for me with Debian (unstable) Eclipse 3.2.

"The selected wizard could not be started. 
Reason : Plugin Ocaml was unable to load class
ocaml.wizards.OcamlNewMakeProjectWizard"

(same for the two other wizards)

And switching to Ocaml perspective fails as well :
"Problem opening perspective".

As well as setting the preferences :
"An error has occurred when creating this preference page."

Too bad, the screenshots look great. I'll give Eclipse 3.3 a try.

Regards,
-- 
Gabriel

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 189 bytes --]

Re: [Caml-list] OcaIDE: a new Eclipse plug-in for O'Caml

[Nicolas Bros]

> Doesn't work for me with Debian (unstable) Eclipse 3.2.
>
> "The selected wizard could not be started.
> Reason : Plugin Ocaml was unable to load class
> ocaml.wizards.OcamlNewMakeProjectWizard"

I think this might be a problem with the JVM instead of Eclipse. What
version of the JVM do you have? Is it Sun's latest 1.6? (I have
already seen this kind of errors while using GCJ)

Re: [Caml-list] OcaIDE: a new Eclipse plug-in for O'Caml

[Gabriel Kerneis]

[-- Attachment #1: Type: text/plain, Size: 555 bytes --]

Hello everybody,

so we have :
http://ocamldt.free.fr/
http://ocaml.eclipse.ortsa.com:8480/ocaide/
http://sourceforge.net/projects/ocaml-eclipse (Haskell based)
http://eclipsefp.sourceforge.net/ocaml/ (dead ?)
http://ocaml.eclipse.free.fr/ (couldn't find any information about
this one except the url - in french obviously)

Did anybody test some of them ? What about merging the best of each one
in a common plugin ?

I've never used Eclipse but things seem to be moving in the Ocaml
community and I'm curious...

Regards,
-- 
Gabriel

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 189 bytes --]

Re: [Caml-list] OcaIDE: a new Eclipse plug-in for O'Caml

[Nicolas Bros]

The last one (http://ocaml.eclipse.free.fr/) is the same as OcaIDE. It
was only a temporary page to test plug-in installation. I updated the
page to redirect to the new site.

> Did anybody test some of them ?

I tested ocamldt, and the basic features (syntax coloring, compiling,
error markers) work well, but it doesn't have as many features as
OcaIDE. I also found that the outline doesn't work on big source
files.

ocaml-eclipse seems to have been aborted right after it started (by
the looks of the cvs source tree)

The O'Caml part of eclipsefp hasn't seen much development in the last
several years, but I have seen that a student is working on improving
it, as a google summer of code project.

Nicolas BROS

Re: [Caml-list] OcaIDE: a new Eclipse plug-in for O'Caml

[Grégory Guyomarc'h]

[-- Attachment #1: Type: text/plain, Size: 1643 bytes --]

On 7/14/07, Gabriel Kerneis <gabriel.kerneis@enst.fr> wrote:
>
> Hello everybody,
>
> so we have :
> http://ocamldt.free.fr/
> http://ocaml.eclipse.ortsa.com:8480/ocaide/


I just tested it on a small toy project and it is by far the best I have
seen, it is actually very usable. One thing in particular that I like is
that it does not necessarily rely on a builtin engine  within the plugin to
compile your projects but can use a simple makefile instead. This way of
cleanly  separating the building process allows you to use another great
development tool: ocamlbuild for building (provided you don't mind managing
the ocamlbuild files to configure your project instead of using the plugin
managed ocaml projects).

I have a few remark though:

- i could not find a way to configure the ocaml debugger: i use it a lot and
some of my code requires deactivating checkpoints, or it would just eats up
memory. Otherwise debugging through ocaide works very well.

- OcaIDE does not look in ocamlbuild _build directory for .annot files, it's
ok since i can put commands in the Makefile to copy the files in their
expected locations after a build, but it would be nice to have this.

- I am not sure what Project references are for, i understand it would
automatically ask you if you want to open the referred projects when opening
the main project, but can it also issue a build for the referred projects
when necessary (like projects in a Visual Studio solution) ? AFAIK this
configurations is not mentioned in the documentation.

- I could not make it work with eclipse 3.2 but it works fine with 3.3 + Sun
JVM 1.6

Anyway, great work!

Gregory

[-- Attachment #2: Type: text/html, Size: 2317 bytes --]

Re: [Caml-list] OcaIDE: a new Eclipse plug-in for O'Caml

[Rafael]

[-- Attachment #1: Type: text/plain, Size: 2740 bytes --]

Hello everybody !
About ocamlbuild : unfortunately, this (wonderfull) tool came out when the
development of the plug-in was almost finished, so we can only plan to
incorporate it in a future version (maybe...). I think we can do something
about the _build directory.

For project references, I don't know also what it is for, and we don't use
it in the plug-in.

About the debugger,  I thought there was no problem to desactivate
checkpoints but if you say it... We will have to wait a few days until the
person who developed it came back..

Thanks!

Rafael


On 7/19/07, Grégory Guyomarc'h <gregory.guyomarch@gmail.com> wrote:
>
>
>
> On 7/14/07, Gabriel Kerneis <gabriel.kerneis@enst.fr > wrote:
> >
> > Hello everybody,
> >
> > so we have :
> > http://ocamldt.free.fr/
> > http://ocaml.eclipse.ortsa.com:8480/ocaide/
>
>
> I just tested it on a small toy project and it is by far the best I have
> seen, it is actually very usable. One thing in particular that I like is
> that it does not necessarily rely on a builtin engine  within the plugin to
> compile your projects but can use a simple makefile instead. This way of
> cleanly  separating the building process allows you to use another great
> development tool: ocamlbuild for building (provided you don't mind managing
> the ocamlbuild files to configure your project instead of using the plugin
> managed ocaml projects).
>
> I have a few remark though:
>
> - i could not find a way to configure the ocaml debugger: i use it a lot
> and some of my code requires deactivating checkpoints, or it would just eats
> up memory. Otherwise debugging through ocaide works very well.
>
> - OcaIDE does not look in ocamlbuild _build directory for .annot files,
> it's ok since i can put commands in the Makefile to copy the files in their
> expected locations after a build, but it would be nice to have this.
>
> - I am not sure what Project references are for, i understand it would
> automatically ask you if you want to open the referred projects when opening
> the main project, but can it also issue a build for the referred projects
> when necessary (like projects in a Visual Studio solution) ? AFAIK this
> configurations is not mentioned in the documentation.
>
> - I could not make it work with eclipse 3.2 but it works fine with 3.3 +
> Sun JVM 1.6
>
> Anyway, great work!
>
> Gregory
>
>
>
> _______________________________________________
> Caml-list mailing list. Subscription management:
> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
> Archives: http://caml.inria.fr
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>
>

[-- Attachment #2: Type: text/html, Size: 4276 bytes --]

Re: [Caml-list] OcaIDE: a new Eclipse plug-in for O'Caml

[Christophe Raffalli]

Dear list members,

I just tested OcalIDE. This is really nice, and I think I only discovered a tenth of what it offers. 
I have just two questions/problems:

- Is it possible to limit the outline to function with a name longer than a given size (let's say 2 
or 3)

- I use darcs, there is an eclipsedarcs project, but it seems incompatible with OCalIDE, the message 
being:
Project 'test' contains linked URIs but the'org.eclipsedarcs.core.repository.DarcsProvider' 
repository provider does not supported them.

Any Idea to overcome this two problems (especially the second one) ?

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

Re: [Caml-list] OcaIDE: a new Eclipse plug-in for O'Caml

[Rafael]

[-- Attachment #1: Type: text/plain, Size: 1607 bytes --]

Hello,
If I had understood, you wish the outline to display only the names longer
than a given size ? In order to "filter" the results ?

I'm sorry, I don't know anything about darcs, and we don't test the plug-in
with this... But we will see what we can do.
Thanks,

Rafael


On 7/19/07, Christophe Raffalli <christophe.raffalli@univ-savoie.fr> wrote:
>
>
> Dear list members,
>
> I just tested OcalIDE. This is really nice, and I think I only discovered
> a tenth of what it offers.
> I have just two questions/problems:
>
> - Is it possible to limit the outline to function with a name longer than
> a given size (let's say 2
> or 3)
>
> - I use darcs, there is an eclipsedarcs project, but it seems incompatible
> with OCalIDE, the message
> being:
> Project 'test' contains linked URIs but the'
> org.eclipsedarcs.core.repository.DarcsProvider'
> repository provider does not supported them.
>
> Any Idea to overcome this two problems (especially the second one) ?
>
> 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
>
> _______________________________________________
> Caml-list mailing list. Subscription management:
> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
> Archives: http://caml.inria.fr
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>

[-- Attachment #2: Type: text/html, Size: 2350 bytes --]

Re: [Caml-list] OcaIDE: a new Eclipse plug-in for O'Caml

[Gabriel Kerneis]

[-- Attachment #1: Type: text/plain, Size: 377 bytes --]

Le Thu, 19 Jul 2007 11:51:29 +0200, Rafael <unfalkster@gmail.com> a
écrit :
> Hello,
> If I had understood, you wish the outline to display only the names
> longer than a given size ? In order to "filter" the results ?

Probably to prevent things like : 
let f = ... in let aux = ...
from being displayed, as they are mostly not significant.

Regards,
-- 
Gabriel

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 189 bytes --]

Re: [Caml-list] OcaIDE: a new Eclipse plug-in for O'Caml

[Rafael]

[-- Attachment #1: Type: text/plain, Size: 835 bytes --]

On 7/19/07, Gabriel Kerneis <gabriel.kerneis@enst.fr> wrote:
>
> Le Thu, 19 Jul 2007 11:51:29 +0200, Rafael <unfalkster@gmail.com> a
> écrit :
> > Hello,
> > If I had understood, you wish the outline to display only the names
> > longer than a given size ? In order to "filter" the results ?
>
> Probably to prevent things like :
> let f = ... in let aux = ...
> from being displayed, as they are mostly not significant.


It's a good idea, we could use it, thanks!

Regards,
> --
> Gabriel
>
> _______________________________________________
> Caml-list mailing list. Subscription management:
> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
> Archives: http://caml.inria.fr
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>
>
>

[-- Attachment #2: Type: text/html, Size: 1559 bytes --]

Re: [Caml-list] OcaIDE: a new Eclipse plug-in for O'Caml

[Christophe Raffalli]

Gabriel Kerneis a écrit :
> Le Thu, 19 Jul 2007 11:51:29 +0200, Rafael <unfalkster@gmail.com> a
> écrit :
>> Hello,
>> If I had understood, you wish the outline to display only the names
>> longer than a given size ? In order to "filter" the results ?
> 
> Probably to prevent things like : 
> let f = ... in let aux = ...
> from being displayed, as they are mostly not significant.
> 

Yes exactly, let definition with very small name and/or very
small scope do not need to be displayed in the outline.

> Regards,
> 
> 
> ------------------------------------------------------------------------
> 
> _______________________________________________
> Caml-list mailing list. Subscription management:
> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
> Archives: http://caml.inria.fr
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs

-- 
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
---------------------------------------------
IMPORTANT: this mail is signed using PGP/MIME
At least Enigmail/Mozilla, mutt or evolution
can check this signature. The public key is
stored on www.keyserver.net
---------------------------------------------

Re: [Caml-list] OcaIDE: a new Eclipse plug-in for O'Caml

[Christophe Raffalli]

> 
> Yes exactly, let definition with very small name and/or very
> small scope do not need to be displayed in the outline.
> 

In fact, and because we dont know what we want yet, the best would be to have

- a minimum length (in char) for indentifier
- a minimum length (in line) for scope size
- and a choice between and and or

Then you could say: I display an identifier if its length >= 3 and its scope size >= 30

Or you could say I display an identifier if its length >= 10000 or its scope size >= 30
(which means that the length is useless)

The only question is whether OCalIDE can compute the scop size of an ident ?


>> Regards,
>>
>>
>> ------------------------------------------------------------------------
>>
>> _______________________________________________
>> Caml-list mailing list. Subscription management:
>> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
>> Archives: http://caml.inria.fr
>> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
>> Bug reports: http://caml.inria.fr/bin/caml-bugs
> 

-- 
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
---------------------------------------------
IMPORTANT: this mail is signed using PGP/MIME
At least Enigmail/Mozilla, mutt or evolution
can check this signature. The public key is
stored on www.keyserver.net
---------------------------------------------

Re: [Caml-list] OcaIDE: a new Eclipse plug-in for O'Caml

[Rafael]

[-- Attachment #1: Type: text/plain, Size: 2401 bytes --]

On 7/19/07, Christophe Raffalli <christophe.raffalli@univ-savoie.fr> wrote:
>
>
> >
> > Yes exactly, let definition with very small name and/or very
> > small scope do not need to be displayed in the outline.
> >
>
> In fact, and because we dont know what we want yet, the best would be to
> have
>
> - a minimum length (in char) for indentifier
> - a minimum length (in line) for scope size
> - and a choice between and and or
>
> Then you could say: I display an identifier if its length >= 3 and its
> scope size >= 30
>
> Or you could say I display an identifier if its length >= 10000 or its
> scope size >= 30
> (which means that the length is useless)
>
> The only question is whether OCalIDE can compute the scop size of an ident
> ?


Yes it would be a good idea. I think it could be done, but I'm not sure,
so we will have to wait until the person who writes the parser for the code
(Nicolas) came back. An AST (Abstract Syntax Tree) is build to represent the
code, then I guess we could find the scope of a definition...
Regards,

Rafael

>> Regards,
> >>
> >>
> >>
> ------------------------------------------------------------------------
> >>
> >> _______________________________________________
> >> Caml-list mailing list. Subscription management:
> >> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
> >> Archives: http://caml.inria.fr
> >> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> >> Bug reports: http://caml.inria.fr/bin/caml-bugs
> >
>
> --
> 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
> ---------------------------------------------
> IMPORTANT: this mail is signed using PGP/MIME
> At least Enigmail/Mozilla, mutt or evolution
> can check this signature. The public key is
> stored on www.keyserver.net
> ---------------------------------------------
>
> _______________________________________________
> Caml-list mailing list. Subscription management:
> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
> Archives: http://caml.inria.fr
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>

[-- Attachment #2: Type: text/html, Size: 3581 bytes --]

Re: [Caml-list] OcaIDE: a new Eclipse plug-in for O'Caml

[Hugo Ferreira]

Hello Christophe,

Christophe Raffalli wrote:
> 
> Dear list members,
> 
> I just tested OcalIDE. This is really nice, and I think I only
> discovered a tenth of what it offers. I have just two questions/problems:
> 
> - Is it possible to limit the outline to function with a name longer
> than a given size (let's say 2 or 3)
> 
> - I use darcs, there is an eclipsedarcs project, but it seems
> incompatible with OCalIDE, the message being:
> Project 'test' contains linked URIs but
> the'org.eclipsedarcs.core.repository.DarcsProvider' repository provider
> does not supported them.
> 
> Any Idea to overcome this two problems (especially the second one) ?
> 

Don't know if this will help but the last issue looks a bit like
something I have experienced with SVN (Subversion). I don't think it has
anything to do with the OcalIDE plug-in. Did you create a local or
remote repository (don't know if this makes sense in darcs). It seems
like the darcs plug-in does not allow for remote access to remote
repositories.

Just to test this, create a Java project and see if you have the same
problem.

HTHs,
Hugo F.






> Cheers,

Re: [Caml-list] OcaIDE: a new Eclipse plug-in for O'Caml

[Christophe Raffalli]

>> - I use darcs, there is an eclipsedarcs project, but it seems
>> incompatible with OCalIDE, the message being:
>> Project 'test' contains linked URIs but
>> the'org.eclipsedarcs.core.repository.DarcsProvider' repository provider
>> does not supported them.
>>
> 
> Don't know if this will help but the last issue looks a bit like
> something I have experienced with SVN (Subversion). I don't think it has
> anything to do with the OcalIDE plug-in. Did you create a local or
> remote repository (don't know if this makes sense in darcs). It seems
> like the darcs plug-in does not allow for remote access to remote
> repositories.
> 
> Just to test this, create a Java project and see if you have the same
> problem.
> 

No problem with a new java project.

Remarks: the repository in darcs is always local
for darcs. You can then choose to "pull" patches from someone else
repository or to "push" your patches to a central repository (if
you have write access to it), but the existence
of a central repository is not mandatory in darcs (even if it becomes necessary
when the number of developers really doing modifications at the same time is growing ...)

Christophe

> HTHs,
> Hugo F.
> 
> 
> 
> 
> 
> 
>> Cheers,
> 
> _______________________________________________
> Caml-list mailing list. Subscription management:
> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
> Archives: http://caml.inria.fr
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs

-- 
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
---------------------------------------------
IMPORTANT: this mail is signed using PGP/MIME
At least Enigmail/Mozilla, mutt or evolution
can check this signature. The public key is
stored on www.keyserver.net
---------------------------------------------