From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 0A4A27F1AA for ; Wed, 9 Sep 2015 22:35:41 +0200 (CEST) IronPort-PHdr: 9a23:aDrO8BxxGcKWDfrXCy+O+j09IxM/srCxBDY+r6Qd0OoSIJqq85mqBkHD//Il1AaPBtWHrasYwLOK4+jJYi8p39WoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6kO74TNaIBjjLw09fr2zQd6OyZ3rnLnuq9X6WEZhunmUWftKNhK4rAHc5IE9oLBJDeIP8CbPuWZCYO9MxGlldhq5lhf44dqsrtY4q3wD89pozcNLUL37cqIkVvQYSW1+ayFm0uSw6kKGFVfHpiZEEzZerh0dJAPM6RWye57wtir8uaJZ2TKGdZn9RLUwHDCj9LtDSRnyiS5BOSRvo0/NjcklrqVbplqKpwZ+2JLTeIGYLrJbdYrZZdIcSCIVXMNaXihZA4WUaY4TSecNILAL/MHGu1ISoE7mVkGXD+T1x2oN2yf7 Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=jmcalpin@nmt.edu; spf=Pass smtp.mailfrom=jmcalpin@nmt.edu; spf=None smtp.helo=postmaster@mailhost.nmt.edu Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of jmcalpin@nmt.edu) identity=pra; client-ip=129.138.4.52; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="jmcalpin@nmt.edu"; x-sender="jmcalpin@nmt.edu"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of jmcalpin@nmt.edu designates 129.138.4.52 as permitted sender) identity=mailfrom; client-ip=129.138.4.52; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="jmcalpin@nmt.edu"; x-sender="jmcalpin@nmt.edu"; 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@mailhost.nmt.edu) identity=helo; client-ip=129.138.4.52; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="jmcalpin@nmt.edu"; x-sender="postmaster@mailhost.nmt.edu"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0C2AgAWl/BVhzQEioFdiATDRzwQAQEBAQEBAQEQAQEBCgsJByMugh2CMBVANgIFFgsCCwMCAQIBSw0IAQGIKqZuj2WPbgGEUYEihVGMd4FDBY1sh2pxlQSRfYF8gkmJGwEBAQ X-IPAS-Result: A0C2AgAWl/BVhzQEioFdiATDRzwQAQEBAQEBAQEQAQEBCgsJByMugh2CMBVANgIFFgsCCwMCAQIBSw0IAQGIKqZuj2WPbgGEUYEihVGMd4FDBY1sh2pxlQSRfYF8gkmJGwEBAQ X-IronPort-AV: E=Sophos;i="5.17,498,1437429600"; d="scan'208,223";a="145280046" Received: from mailhost.nmt.edu ([129.138.4.52]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 09 Sep 2015 22:35:39 +0200 Received: from [129.138.36.41] (dhcp-altamirano-41.resnet.nmt.edu [129.138.36.41]) by mailhost.nmt.edu (Postfix) with ESMTPSA id 89AB92E4F9D for ; Wed, 9 Sep 2015 14:35:35 -0600 (MDT) To: Ocaml Mailing List From: John Christopher McAlpine Message-ID: <55F09806.1030507@nmt.edu> Date: Wed, 9 Sep 2015 14:35:18 -0600 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.2.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit Subject: [Caml-list] Use of unit testing frameworks in OCaml From what I can tell, the tests for the OCaml compiler and standard libraries are all done with a fairly small framework designed specifically for testing the compiler and standard libraries. Is there any particular reason not to use a tool such as OUnit or Broken for these tests? I am aware that adding dependencies to the compiler is generally frowned upon, but these libraries could significantly improve the maintainability of the core language and libraries.