About OcaIDE

OcaIDE is an O'Caml plug-in for Eclipse.

It is distributed under the CeCILL-B licence.

Its name is a contraction of Ocaml and IDE.

It has the following features:

Source editor for modules (ml files), interfaces (mli files), parsers (mly files) and lexers (mll files)
Syntax coloring (colors and styles are configurable)
Automatic indentation while typing in the editor (configurable in the preferences)
An integrated code formatter, and an interface to the camlp4 formatter (through an AST printer)
Completion
Standard library browser
Integrated debugger (a graphical interface to the O'Caml text-mode debugger)
Highlighting of matching delimiters
Integrated toplevel
An O'Caml perspective inside of Eclipse
Shortcuts to the O'Caml elements in Eclipse
Building of O'Caml projects
Importation and exportation of O'Caml projects
Launching of O'Caml executables
A code outline
Displaying the inferred type of elements in the editor and outline
Descriptive popups on O'Caml definitions
Help on expected parameters for functions, exceptions and constructors
Configurable shortcuts
Configurable paths for all the tools (and the paths are automatically detected)
On demand makefile generation
Automatic interface generation
Hyperlinks for jumping to the definition of an element (variable, type constructor...)
Error markers in the editor, editor's margin, Navigator view and Problems view

Contact:

For any questions or remarks concerning OcaIDE, you can use the forum or write to ocaide-AT-ml.free.fr.

Copyright:

2006/2007: Nicolas Bros, Rafael Cerioli

History:

This project was developed by Nicolas Bros and Rafael Cerioli in 2006-2007, as a semester project in a Master of Computer Science at the University of Paris VI: Pierre et Marie Curie, and it was supervised by Emmanuel Chailloux. It was then continued by Nicolas Bros as a summer job for five weeks. This project is inspired by previous attempts of the same kind before 2006 (by Guillaume Curat, Leonard Dallot, Alexandre Deckner, Nicolas Deckner, Sylvain Le Ligné, Alexandre Serra and Guillaume Viel).