About OcaIDE

OcaIDE is an OCaml plug-in for Eclipse.

It is distributed under the CeCILL-B Open Source 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)
A customizable integrated code formatter, and an interface to the camlp4 formatter (through an AST printer)
Completion
Library browser, both for the standard library and user libraries
Integrated debugger (a graphical interface to the OCaml text-mode debugger), with remote debugging support and script file support
Highlighting of matching delimiters
Integrated toplevel
Creation of custom toplevels
Camlp4 pre-processing
An OCaml perspective inside of Eclipse
Shortcuts to the OCaml elements in Eclipse
Building of OCaml projects (with ocamlbuild, with hand-written makefile, with OcamlMakefile or managed by the IDE)
Importation and exportation of OCaml projects
Launching of OCaml executables with parameters, and interactive console
Outline and Quick Outline
Displays the inferred type of elements in the editor and outline
Descriptive popups on OCaml 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
Editable code templates
Automatic detection of project paths
Commenting and uncommenting of code blocks
Spell checking of comments and documentation comments
Switch between module/interface
Convert files between revised syntax and standard syntax (with Camlp4)

Contact:

For any questions or remarks concerning OcaIDE, you can use the forum.

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).