From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 0FBD37EE4C for ; Wed, 2 Oct 2013 18:00:50 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of david.mentre@gmail.com) identity=pra; client-ip=209.85.215.48; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="david.mentre@gmail.com"; x-sender="david.mentre@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of david.mentre@gmail.com designates 209.85.215.48 as permitted sender) identity=mailfrom; client-ip=209.85.215.48; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="david.mentre@gmail.com"; x-sender="david.mentre@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-la0-f48.google.com) identity=helo; client-ip=209.85.215.48; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="david.mentre@gmail.com"; x-sender="postmaster@mail-la0-f48.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApcBAN1CTFLRVdcwm2dsb2JhbABZgz9Sgym9YoEaCBYOAQEBAQEGCwsJFCiCTx0BOQMNBRAPAiYCIQMSAQUBDhQbh2wDDwybaIMDjAGDW4REJw2JZAEFDIEdkRmBOQOFJIkqiTOMJ4NtGCmBY4JtOg X-IPAS-Result: ApcBAN1CTFLRVdcwm2dsb2JhbABZgz9Sgym9YoEaCBYOAQEBAQEGCwsJFCiCTx0BOQMNBRAPAiYCIQMSAQUBDhQbh2wDDwybaIMDjAGDW4REJw2JZAEFDIEdkRmBOQOFJIkqiTOMJ4NtGCmBY4JtOg X-IronPort-AV: E=Sophos;i="4.90,1019,1371074400"; d="scan'208";a="28865637" Received: from mail-la0-f48.google.com ([209.85.215.48]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 02 Oct 2013 18:00:47 +0200 Received: by mail-la0-f48.google.com with SMTP id er20so813639lab.7 for ; Wed, 02 Oct 2013 09:00:46 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:from:date:message-id:subject:to:content-type; bh=6Ei7A0SJiEvmAjjRAdjNWvjenBVAXb8Gxfyq7z8WbXQ=; b=Hl+3prtu169Ugl2krR1lNVAZGTTRyIj6zQPonGT/szkrz5+IUr4UHhFLqA7njk5OI7 Uq8zuY/a+zq929bKb197S4Acfwiew7j8hUwZHG/VXvjfT5Zs/yivz1SN/GTFv1kfuWbB h1+cf6tqGYsmjrFnggk9lZMctYS/22NqAvY4fRouixg5BhBan3j3MAxjVpyQPzdL1L44 akeivJDQBJXA3bPak0wKtdA65/ZwePLgcTJ7uI6iPg4F+jEZ3xzP/azxtx57yqjmvs08 9R6VR15kgUq4WPbCWxh2CaWqTFdZ0ql7ljddO9+/fjYU2XBLyros1Tgs7RIjlZseN93t gWYA== X-Received: by 10.152.116.7 with SMTP id js7mr2535696lab.11.1380729646545; Wed, 02 Oct 2013 09:00:46 -0700 (PDT) MIME-Version: 1.0 Sender: david.mentre@gmail.com Received: by 10.112.45.108 with HTTP; Wed, 2 Oct 2013 09:00:16 -0700 (PDT) From: David MENTRE Date: Wed, 2 Oct 2013 18:00:16 +0200 X-Google-Sender-Auth: tPaejMvHNlXCM4EFrlUbKggBlpE Message-ID: To: caml users Content-Type: text/plain; charset=UTF-8 Subject: [Caml-list] OCaml editor running tests or other tasks in background? 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