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 173FE81792 for ; Mon, 24 Jun 2013 21:13:58 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of krismicinski@gmail.com) identity=pra; client-ip=209.85.219.52; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="krismicinski@gmail.com"; x-sender="krismicinski@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of krismicinski@gmail.com designates 209.85.219.52 as permitted sender) identity=mailfrom; client-ip=209.85.219.52; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="krismicinski@gmail.com"; x-sender="krismicinski@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-oa0-f52.google.com) identity=helo; client-ip=209.85.219.52; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="krismicinski@gmail.com"; x-sender="postmaster@mail-oa0-f52.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjsCACuZyFHRVds0lGdsb2JhbABagzpJv0N/CBYOAQEBAQcLCwkSKoIjAQEFQAEbHQEDDAYFCwoDLiEBAREBBQEcBhOHewEDDwydO4xNgn+ERAoZJw1Yh3QBBQyMXII0MweDYwOVXIFngSmKd4M/FimEUiA X-IPAS-Result: AjsCACuZyFHRVds0lGdsb2JhbABagzpJv0N/CBYOAQEBAQcLCwkSKoIjAQEFQAEbHQEDDAYFCwoDLiEBAREBBQEcBhOHewEDDwydO4xNgn+ERAoZJw1Yh3QBBQyMXII0MweDYwOVXIFngSmKd4M/FimEUiA X-IronPort-AV: E=Sophos;i="4.87,930,1363129200"; d="scan'208";a="18828082" Received: from mail-oa0-f52.google.com ([209.85.219.52]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 24 Jun 2013 21:13:57 +0200 Received: by mail-oa0-f52.google.com with SMTP id g12so12130533oah.25 for ; Mon, 24 Jun 2013 12:13:55 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type:content-transfer-encoding; bh=f944bQf4IcawHX3yrsG0wuXnQ9YINUVDOpPqh9+/VQ0=; b=vMtMfNHxRNqlKMVP/F8vXd0cW7jptOyfRXYqXWsdwtDO52AsvY5/6HHdK4YzE1Ofgi 6ZWfTN7j0RE2zGP/YdQc3NpVfxvSM/gH4zZO3uapWQ9Tx9UdSDWbRtu9512/wAihaUv1 zHRoolRi5ARc6qR/jcrA0y9qIkMEasAduBQspX2mNUcqN6PjBWr3qGGsFQJvADJ4u3qj 1K0d+FhBd2m+qH38scjl6tUrc69hWkiGe3/Q3xAh/5TsRk40Sr1lGQ4qw6gxdqJHLlZU swPUU0X1//F6KqRqravTD/48ULDUFUBnm3kyld/0vu+Cf4lgUb72T3Y1ZlPe867H201l t4zQ== MIME-Version: 1.0 X-Received: by 10.60.68.13 with SMTP id r13mr11885008oet.71.1372101235887; Mon, 24 Jun 2013 12:13:55 -0700 (PDT) Received: by 10.182.51.165 with HTTP; Mon, 24 Jun 2013 12:13:55 -0700 (PDT) In-Reply-To: References: <001601ce6fe1$a2ea9390$e8bfbab0$@metastack.com> Date: Mon, 24 Jun 2013 15:13:55 -0400 Message-ID: From: Kristopher Micinski To: =?ISO-8859-1?Q?Rapha=EBl_Proust?= Cc: David Allsopp , OCaml List Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] Anonymous sum types in functors Great, I googled for this, but didn't turn up anything: it seems sensible this would exist. Kris On Mon, Jun 24, 2013 at 10:41 AM, Rapha=EBl Proust wr= ote: > On Mon, Jun 24, 2013 at 3:37 PM, Kristopher Micinski > wrote: >>> >>> The "reason" for wanting to avoid that in this instance is the specific= application - the sets are actually bit masks and there are about 50 of th= em (using a code generator, unsurprisingly). Given that the ocamldoc output= is already going to be interesting, I was trying to avoid having 100 modul= es if possible :o) >> >> This honestly sounds like something that you should be able to avoid >> in OCamlDoc. It seems sensible you should be able to mark things as >> "don't generate documentation for these", but I havent' seen such. > > From: http://caml.inria.fr/pub/docs/manual-ocaml/manual029.html#toc120 > > The special comment (**/**) tells OCamldoc to discard elements placed > after this comment, up to the end of the current class, class type, > module or module type, or up to the next stop comment. > > > Cheers, > -- > ______________ > Rapha=EBl Proust