There is TypeRex, a new development environment for OCaml. Here is a summary of TypeRex features:
- Improved syntax coloring
- Auto-completion of identifiers (experimental)
- Browsing of identifiers: show type and comment, go to definition, cycle between alternate definitions, and semantic grep;
- Strictly semantic-preserving, local and whole-program refactoring:
- renaming identifiers and compilation units
- open elimination and reference simplification
- Robust w.r.t. not-recompiled, possibly unsaved buffers
- Scalable (used regularly on a few hundreds of source files)
There are some screenshots available on the website. The first release candidate is out since yesterday.
EDIT: The first release (v1.0) is out now :-)
