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 123C97F7C2 for ; Thu, 6 Feb 2014 17:07:30 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of benjamin.canou@gmail.com) identity=pra; client-ip=209.85.212.178; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="benjamin.canou@gmail.com"; x-sender="benjamin.canou@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of benjamin.canou@gmail.com designates 209.85.212.178 as permitted sender) identity=mailfrom; client-ip=209.85.212.178; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="benjamin.canou@gmail.com"; x-sender="benjamin.canou@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-wi0-f178.google.com) identity=helo; client-ip=209.85.212.178; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="benjamin.canou@gmail.com"; x-sender="postmaster@mail-wi0-f178.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AiICAD6y81LRVdSylGdsb2JhbABZgmuEMbtwgQsWDgEBAQEHCwsJEiqCJgEFIw8BBQgBGxwBAQMMBgULDwIFFgsCAgkDAgECARERAQUBHAYNAQcCh2wBAxEBBKBsjAtTgwmTYgoZJw1kiCkRAQUMgR2NUQeCb4FJAQOYK5A0QYRa X-IPAS-Result: AiICAD6y81LRVdSylGdsb2JhbABZgmuEMbtwgQsWDgEBAQEHCwsJEiqCJgEFIw8BBQgBGxwBAQMMBgULDwIFFgsCAgkDAgECARERAQUBHAYNAQcCh2wBAxEBBKBsjAtTgwmTYgoZJw1kiCkRAQUMgR2NUQeCb4FJAQOYK5A0QYRa X-IronPort-AV: E=Sophos;i="4.95,793,1384297200"; d="scan'208";a="48058320" Received: from mail-wi0-f178.google.com ([209.85.212.178]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 06 Feb 2014 17:07:29 +0100 Received: by mail-wi0-f178.google.com with SMTP id cc10so1741228wib.5 for ; Thu, 06 Feb 2014 08:07:29 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=message-id:date:from:user-agent:mime-version:to:cc:subject :references:in-reply-to:content-type:content-transfer-encoding; bh=9y9e45gRZnamjwdicTlF5E2PDHBjJsSsmfgQb9LIxbA=; b=Q4WXGpz2GnzCu/TR3Ikkv6HEHwmBe2SVZk3GWB/HRvTeJQnHHlcTsUem9IFK7Ohyrm dEbulr//rVA/LPtKgi6MsSKwPss5xVulf40WCZnTAJqajR+uDgXDrrA9AS9TlEltd3SK B9LR99W09g596SkXLKRs7T3ADNnhP2j4T0hGW50zYfOl2A0kdUr30Q9JCYCqEAZObTUQ tinaUh+k5l38OZiC1K9xsssGSo/UIWaOQ+U5mCgLM52PHSlj4WfTCsfGkYYTHAa/7Qfw 1lLsALuw5EQvhNoOT8R839uP8NukmA6CEEPWfIGAMNTkbOVsJhKS/PYkdC8CEhfxTQYa PYMQ== X-Received: by 10.180.92.169 with SMTP id cn9mr7302971wib.35.1391702849161; Thu, 06 Feb 2014 08:07:29 -0800 (PST) Received: from ?IPv6:2001:660:3013:3:9eb6:54ff:fea5:8a99? ([2001:660:3013:3:9eb6:54ff:fea5:8a99]) by mx.google.com with ESMTPSA id ux5sm3455405wjc.6.2014.02.06.08.07.27 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Thu, 06 Feb 2014 08:07:28 -0800 (PST) Message-ID: <52F3B33E.9040000@gmail.com> Date: Thu, 06 Feb 2014 17:07:26 +0100 From: Benjamin Canou User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20131005 Icedove/17.0.9 MIME-Version: 1.0 To: =?UTF-8?B?RGFuaWVsIELDvG56bGk=?= CC: caml-list@inria.fr References: <52F35934.5070306@inria.fr> <52F3728A.1010408@gmail.com> <4EE76A0DCE894248BA68BF2D57EBE595@erratique.ch> In-Reply-To: <4EE76A0DCE894248BA68BF2D57EBE595@erratique.ch> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] OCamlPro Highlights: Dec 2013 & Jan 2014 Le 06/02/2014 14:06, Daniel Bünzli a écrit : > As soon as I see a lack of mli files in a published package, I disregard. I equate it with lack of design. Well, I'm very, very sorry that I disappointed you, my lord. But do not be worried, I shall compose an mli when comes the time, for I would cherish your blessing upon my modest package. Cheers, Benjamin.