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 9C204823D7 for ; Mon, 19 Mar 2018 14:49:37 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=yawar.amin@gmail.com; spf=Pass smtp.mailfrom=yawar.amin@gmail.com; spf=None smtp.helo=postmaster@mail-it0-f45.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of yawar.amin@gmail.com) identity=pra; client-ip=209.85.214.45; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="yawar.amin@gmail.com"; x-sender="yawar.amin@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of yawar.amin@gmail.com designates 209.85.214.45 as permitted sender) identity=mailfrom; client-ip=209.85.214.45; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="yawar.amin@gmail.com"; x-sender="yawar.amin@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-it0-f45.google.com) identity=helo; client-ip=209.85.214.45; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="yawar.amin@gmail.com"; x-sender="postmaster@mail-it0-f45.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AYZVLFxWjpEjwpOEPxOifHtMXs37V8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYYxyFt8tkgFKBZ4jH8fUM07OQ7/i7HzRYqb+681k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRo?= =?us-ascii?q?LerpBIHSk9631+ev8JHPfglEnjWwba98IRmssQndqtQdjJd/JKo21hbHuGZDdf?= =?us-ascii?q?5MxWNvK1KTnhL86dm18ZV+7SleuO8v+tBZX6nicKs2UbJXDDI9M2Ao/8LrrgXM?= =?us-ascii?q?TRGO5nQHTGoblAdDDhXf4xH7WpfxtTb6tvZ41SKHM8D6Uaw4VDK/5KpwVhTmlD?= =?us-ascii?q?kIOCI48GHPi8x/kqRboA66pxdix4LYeZyZOOZicq/Ye94RWGhPUdtLVyFZAIy8?= =?us-ascii?q?YYsBAeQCM+hFsYfyu0ADogGiCQS2Hu7j1iNEi33w0KYn0+ohCwbG3Ak4Et0Mqn?= =?us-ascii?q?vVos/6NL0PWu2pyanIzDPDZO5R1Db98ofJfAouoeuWUb1qdMrRyE8vGhjKjlWV?= =?us-ascii?q?s4PlPjeV2v4RvGic6uptTOSigHMppQF2pzig3MYsio/Ri4IS1l/L7yB5wIIvKd?= =?us-ascii?q?2/Uk57btipG4ZTuSGCL4Z6XN8uTmVytCs5yrAKo4C3cDUFxZg9yBPSa/qKeJWS?= =?us-ascii?q?7B35TuaeOzJ4iWpleL2hgxay9lCtyujmWcm11FZGtytFksXQunwU2Rze5ciKRu?= =?us-ascii?q?Fy/kem3jaP2ATT5f9eLU8okqrbLoYtwr82lpUNrUTOBjH6lFnygaOMdUgp+vKk?= =?us-ascii?q?5/r6brjpvJOROI95hhn7Mqs0m8y/Beo4MhIJX2ie4em91Kfs/EPjT7VQlPE5iK?= =?us-ascii?q?zZsJHcJckAqa65BhVa0ocn6xqlEzim19EYkWEdLF1ZYBKHk5TpO1bWLf/kF/i/?= =?us-ascii?q?hlCsnC5vx/DHJb3hHo7ALmPDkbfkZbZy8VRQyAs1zdBF5pJbEKsNIPzpWhy5iN?= =?us-ascii?q?uNJBY5NgWyi8PgFtxk35lWDWiGAqqQNovYuF+N7+QqZeKLYdlGliz6Lq0U7uHn?= =?us-ascii?q?lzcQnF4bNf241IQecjaxG/VgC0qcaHvoxNwGFDFZ7UIFUOX2hQjaAnZobHGoUv?= =?us-ascii?q?d5v2ljUdP0PcL4XomoxYe58mK+F5xSaHpBDwnVQ3jtfoSAHfwLbXDLe5Mzonk/?= =?us-ascii?q?TbGkDrQZ+1S2rgajkuhoK+PV/msTspexjIEotd2Wrgk78HlPN+rY02yJSDspzG?= =?us-ascii?q?YBRjtz3bwn5EIhlxGM1q93h/EeHttWtatE?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CsAACZvq9afy3WVdFdHAEBAQQBAQoBA?= =?us-ascii?q?YN2AT9yKAqDU4EwlmSDGY5xhQ+CEgsjhG0CgzkHGQcBBDIWAQIBAQEBAQEBAQE?= =?us-ascii?q?SAQEJCwsIJjGCOCQBgkkGIx0BGx0BAwwGBQQBBjcCAiEBAREBBQEcBhMIhHcBA?= =?us-ascii?q?xUPnQw8iwiCBAUBHIMCBYNNChkmDVVYggYCAQUShSGCFYFVhHSCWoJZgluCYQO?= =?us-ascii?q?YBjAJgXOEFIYHgyONLYkwOoY8DwMegQklA1SBLDMaI08xghKCI45kJDSQEwEBA?= =?us-ascii?q?Q?= X-IPAS-Result: =?us-ascii?q?A0CsAACZvq9afy3WVdFdHAEBAQQBAQoBAYN2AT9yKAqDU4E?= =?us-ascii?q?wlmSDGY5xhQ+CEgsjhG0CgzkHGQcBBDIWAQIBAQEBAQEBAQESAQEJCwsIJjGCO?= =?us-ascii?q?CQBgkkGIx0BGx0BAwwGBQQBBjcCAiEBAREBBQEcBhMIhHcBAxUPnQw8iwiCBAU?= =?us-ascii?q?BHIMCBYNNChkmDVVYggYCAQUShSGCFYFVhHSCWoJZgluCYQOYBjAJgXOEFIYHg?= =?us-ascii?q?yONLYkwOoY8DwMegQklA1SBLDMaI08xghKCI45kJDSQEwEBAQ?= X-IronPort-AV: E=Sophos;i="5.48,330,1517871600"; d="scan'208,217";a="318813669" Received: from mail-it0-f45.google.com ([209.85.214.45]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 19 Mar 2018 14:49:36 +0100 Received: by mail-it0-f45.google.com with SMTP id u5-v6so10408080itc.1 for ; Mon, 19 Mar 2018 06:49:36 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=doClR7rdpGEdwFeObstsXcdAn4RfoWlT0xGdrXKwCWc=; b=jw8jLjdXquS6EQPK101nsKfS9cN1QH1V1Me9OTHME1QLA9t2vSBFLTP5hlGGzbelY1 bUl11jLl95k2PbM9Iifvqxhwm0NoAUqbfzL8MgjDvUbzqPxfad3vfUHp7mUYsCQQiTRG /AMoWnH6Yr3LR5tJxVjQmN5mJmQ/mh+Qg2M3lumyp3xv51n1uCJBZWFliH94M8N6h11F GzzzMOVtsAWk0zbMJDmzIHo517GqrlhCGJn1HLX9YaSiFfHZo/lVJLqIyVTqEWM7XzaL YSl/923PmyqqNShJ3FqgUb3qjTjlLy+CHymAaLeFTWFNSeP5YPBiXFe+xGs/t8mxWdMT 0/Hg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=doClR7rdpGEdwFeObstsXcdAn4RfoWlT0xGdrXKwCWc=; b=RaaTpMn5zb19ltq7Hg2IHE8fJ7Wq0qTzMGqv6rBrqpMqTq2HicwfRegVa22eMambMA bp9glCgYc/7Gy+0t87jSIjkLlAneZn8BwXbKlTA2hIFd6g39jlqiizABRnPU+ZmRhT01 Kg6X0uO1I1gmD6eFKJ5/AqDqGlFalDiAHvfV/Cz88qRc9lbzNflZU5k72Mrod0XvwoAw BWmtOT9i6mcU9vPnf8ATRkMUkWhahv4J2Su07vKjhbOmXEvYh9zUr83RvdnVfUfGULQu BIHDi10ZZgb0WYxFbEgoQkPJvoudqbHhaeMYdC4IJUj3cx32969os1aAVqKMm+phsBPp 6zHA== X-Gm-Message-State: AElRT7HpG0q/hQ10m8zE5xswuBktqZzrJbo+zI0envR5DKbHxm62t9Hu eJibBgI0YccumjTdQcReDiJfPWDtz/WYVThoQRb4 X-Google-Smtp-Source: AG47ELvE+DJRHD4rmBlstUedSbikFfijzbpF0ZgmW/vE+flF8fUMulBY+sYld1PeJohorMjpP5SrbUdriGEtnQDjdZg= X-Received: by 2002:a24:d282:: with SMTP id z124-v6mr12698574itf.116.1521467375503; Mon, 19 Mar 2018 06:49:35 -0700 (PDT) MIME-Version: 1.0 Received: by 10.192.161.104 with HTTP; Mon, 19 Mar 2018 06:49:15 -0700 (PDT) In-Reply-To: References: From: Yawar Amin Date: Mon, 19 Mar 2018 09:49:15 -0400 Message-ID: To: Bahman Movaqar Cc: Ocaml Mailing List Content-Type: multipart/alternative; boundary="000000000000744f5a0567c43ad7" Subject: Re: [Caml-list] On variants, integers and testing --000000000000744f5a0567c43ad7 Content-Type: text/plain; charset="UTF-8" Hi, On Mon, Mar 19, 2018 at 9:27 AM, Yawar Amin wrote: > [...] > > But, maybe sometimes you do want to have some internal functionality and > you do want to test it. An OCaml can theoretically some of its files > (modules) from the outside world by telling its build system to not expose > the compiled interface (.cmi) files. This way, you can write and test these > internal modules and still hide them from users. > > I haven't actually usec this technique, but certainly someone in this list > might have. > Actually it looks like we're in luck: jbuilder now supports inline tests out of the box https://discuss.ocaml.org/t/jbuilder-inline-tests/1741 Regards, Yawar --000000000000744f5a0567c43ad7 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Hi,

On Mon, Mar 19, 2018 at 9:27 AM, Yawar Amin <yawar.amin@gmail.co= m> wrote:
[...]

But, maybe sometimes you do want to have some in= ternal functionality and you do want to test it. An OCaml can theoretically= some of its files (modules) from the outside world by telling its build sy= stem to not expose the compiled interface (.cmi) files. This way, you can w= rite and test these internal modules and still hide them from users.
<= div>
I haven't actually usec this technique, but certainl= y someone in this list might have.

Actually it looks like we're in luck: jbuilder now supp= orts inline tests out of the box=C2=A0https://discuss.ocaml.org/t/jbuilder-inline-t= ests/1741

Regards,

Ya= war
--000000000000744f5a0567c43ad7--