From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 5B1B07F02D for ; Thu, 9 Oct 2014 13:27:35 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of thomas.gazagnaire@gmail.com) identity=pra; client-ip=209.85.213.171; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="thomas.gazagnaire@gmail.com"; x-sender="thomas.gazagnaire@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of thomas.gazagnaire@gmail.com designates 209.85.213.171 as permitted sender) identity=mailfrom; client-ip=209.85.213.171; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="thomas.gazagnaire@gmail.com"; x-sender="thomas.gazagnaire@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ig0-f171.google.com) identity=helo; client-ip=209.85.213.171; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="thomas.gazagnaire@gmail.com"; x-sender="postmaster@mail-ig0-f171.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkoCAMhwNlTRVdWrlGdsb2JhbABfhDnSXVBFFgERAQEBAQcLCwkSLoQcKAYBOQMNBTlGAQUBIgsjB4gIAxABBaFsgx1ukDKIMicNhn0BBQ6TaoEeBYtcnkuHQ0GBbIMwZIJKAQEB X-IPAS-Result: AkoCAMhwNlTRVdWrlGdsb2JhbABfhDnSXVBFFgERAQEBAQcLCwkSLoQcKAYBOQMNBTlGAQUBIgsjB4gIAxABBaFsgx1ukDKIMicNhn0BBQ6TaoEeBYtcnkuHQ0GBbIMwZIJKAQEB X-IronPort-AV: E=Sophos;i="5.04,684,1406584800"; d="scan'208";a="100204461" Received: from mail-ig0-f171.google.com ([209.85.213.171]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 09 Oct 2014 13:27:34 +0200 Received: by mail-ig0-f171.google.com with SMTP id h15so12116944igd.10 for ; Thu, 09 Oct 2014 04:27:33 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=sender:from:content-type:content-transfer-encoding:subject :message-id:date:to:mime-version; bh=Dd5cSPh5Qt3QQPvI5HoHzTZ92KMr/RuHMgR4ApHqLn0=; b=TEt7nQkMKir1fPx6BFMsewnreakDc9iiorOg7dIrpkgNOhwbtKEY4XRfroUsQi15Wr 2Bd00YWpP/0ZpVHV1J2BVPwdFWxYt3pQbROLbmJDgqjTiyjGfnpIo7Yr4qryBr3HFONh tL/hSZRD7wCMju1iVzEO8bKEPXbzQOS4BwbArdjW2d/hN4jECiyERwm0thNENXYOFzBB ZAV6dvfPCI29mLuTCRznEn6HH9OD8RIncy71udI2Xz+0Wk4mL6zsyYKU4tCFxGY0I0rY OI5Z61EAwTclcw9rBsuYlvKWCI490W15PKO5he8GC/dkzd77qvtmZJKCNSLgC9ZC1Jah f8oA== X-Received: by 10.50.73.163 with SMTP id m3mr54241507igv.28.1412854053769; Thu, 09 Oct 2014 04:27:33 -0700 (PDT) Received: from aca80137.ipt.aol.com ([119.82.124.155]) by mx.google.com with ESMTPSA id w20sm2640055igp.9.2014.10.09.04.27.31 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Thu, 09 Oct 2014 04:27:33 -0700 (PDT) Sender: Thomas Gazagnaire From: Thomas Gazagnaire Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable Message-Id: <8DB6955D-587A-4377-99BF-2641CEE49D9A@gazagnaire.org> Date: Thu, 9 Oct 2014 16:57:24 +0530 To: caml-list Mime-Version: 1.0 (Mac OS X Mail 7.3 \(1878.6\)) X-Mailer: Apple Mail (2.1878.6) Subject: [Caml-list] ounit and js_of_ocaml Hi, Is there a js_of_ocaml front-end for OUnit (and/or for QCheck)? Ideally I would like to run tests in an iocamljs notepad (or a js_of_ocaml = top-level) and have a nice display of the results. Can have a basic stuff w= orking quickly, but I was wondering if someone has more integrated solution. Best, Thomas=