I think the most advanced project regarding IDE integration nowadays is Merlin ( https://github.com/def-lkb/merlin ), which gives direct feedback on syntax and typing errors. It doesn't have any knowledge of unit tests or coverage checking, but it would probably be the right tool to start with to integrate such a feature.

Note that there has been a bit of back-and-forth on the instant feedback feature. Previous iterations were deemed a bit too visually invasive, and some people don't like to risk being interrupted by their IDE while they think about their code. I think it's always better to have the feature available, but there is clearly some tuning to have, and potential for overdoing it.

The other project that jumps to mind is the Why3 IDE ( http://why3.lri.fr/ ). It seems they're not hype enough to have video stuff available, but from what I remember the GUI does a pretty good job of giving feedback on how external provers run, and pieces of code that were previously verified and aren't anymore.

On Wed, Oct 2, 2013 at 6:00 PM, David MENTRE <dmentre@linux-france.org> wrote:

Hello,

Somebody has recently shown me the NCrunch (http://www.ncrunch.net/)
plug-in running under Microsoft Visual Studio and I was quite
impressed by it. This plug-in allows to define and run a test suite on
a C# program. The very nice thing about NCrunch is that the tests are
run in the background, without any user intervention (without even the
need to save files!). A set of coloured icons are displayed next to
each test to see if the test succeeded or not and some additional
pop-ups or right-clicks bring additional information. This approach
brings a very fluent way to develop some code and test it
simultaneously.

In the same spirit, I have seen the Dafny development environment for
proved programs
(https://research.microsoft.com/en-us/projects/dafny/), still on
Visual Studio, where this time Verification Conditions and proofs of
the program being edited are generated and run in the background, with
coloured icons displaying the result. Once again, no need for the user
to click on icons or do any specific action.

So my question: are there similar OCaml editors available or being
worked on that would allow running tasks in the background and
displaying result in the editor without user intervention?

There is apparently a lot of development in the OCaml development
environment these days so somebody might already work on something
similar.

By "OCaml editor", I am voluntarily ambiguous: I am interested in both
editor to program in OCaml and editor programmed in OCaml (or
interfaced with OCaml) and which could be used for other languages.

Best regards,
david

--
Caml-list mailing list.  Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs