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 2B6A97EE89 for ; Fri, 28 Oct 2016 15:04:49 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=shayne.fletcher.50@gmail.com; spf=Pass smtp.mailfrom=shayne.fletcher.50@gmail.com; spf=None smtp.helo=postmaster@mail-yw0-f175.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of shayne.fletcher.50@gmail.com) identity=pra; client-ip=209.85.161.175; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="shayne.fletcher.50@gmail.com"; x-sender="shayne.fletcher.50@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of shayne.fletcher.50@gmail.com designates 209.85.161.175 as permitted sender) identity=mailfrom; client-ip=209.85.161.175; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="shayne.fletcher.50@gmail.com"; x-sender="shayne.fletcher.50@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-yw0-f175.google.com) identity=helo; client-ip=209.85.161.175; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="shayne.fletcher.50@gmail.com"; x-sender="postmaster@mail-yw0-f175.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3Ad9YzmROcsDcDnMhvi3kl6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0KPv5rarrMEGX3/hxlliBBdydsKMezbWN+P2+EUU7or+5+EgYd5JNUxJXwe?= =?us-ascii?q?43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6anHS+4HYoFwnlMkIt?= =?us-ascii?q?f6KuS9SU0J/8ir760qaQSj0AvCC6b7J2IUf+hiTqne5Sv7FfLL0swADCuHpCdr?= =?us-ascii?q?ce72ppIVWOg0S0vZ/or9YwuxhX7tQg/MlEWL6yWKY1QbUQJj08ezQz5cbssRDY?= =?us-ascii?q?CwyN63cVFG8fiDJMDhjE4hC8VZD05HjUrO14jRKaNNzwQPgaXTm+5KdmUle8ky?= =?us-ascii?q?cOJjg0tm/Th9B7jK9B5k/5jxN6yo/QJoqSMawtLevmYdoGSD8ZDY5qXCtbD9bk?= =?us-ascii?q?Yg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DfAAD4SxNYf6+hVdFcHAEBBAEBCgEBF?= =?us-ascii?q?wEBBAEBCgEBgn8BAQEBAYF0B40vln+ITIQFglOFG4IHhiMCgXoHPxQBAQEBAQE?= =?us-ascii?q?BAQEBARIBAQkLCwkbMoIzGIIOCgEBAwESER0BGx0BAwELBgUDAQc3AgIiAREBB?= =?us-ascii?q?QEcBhMIGogXAQMPCKM7gTI/MotGgWuCXwWDXAoZJw1TgxwBAQEBAQUBAQEBAQE?= =?us-ascii?q?ZAgYQiwKHS4JbAQSBJQGNJotCCAEBgSeGPohCgVgBjiuND4I/Ex6BER6BS4JWg?= =?us-ascii?q?hoiNAGHcgEBAQ?= X-IPAS-Result: =?us-ascii?q?A0DfAAD4SxNYf6+hVdFcHAEBBAEBCgEBFwEBBAEBCgEBgn8?= =?us-ascii?q?BAQEBAYF0B40vln+ITIQFglOFG4IHhiMCgXoHPxQBAQEBAQEBAQEBARIBAQkLC?= =?us-ascii?q?wkbMoIzGIIOCgEBAwESER0BGx0BAwELBgUDAQc3AgIiAREBBQEcBhMIGogXAQM?= =?us-ascii?q?PCKM7gTI/MotGgWuCXwWDXAoZJw1TgxwBAQEBAQUBAQEBAQEZAgYQiwKHS4JbA?= =?us-ascii?q?QSBJQGNJotCCAEBgSeGPohCgVgBjiuND4I/Ex6BER6BS4JWghoiNAGHcgEBAQ?= X-IronPort-AV: E=Sophos;i="5.31,410,1473112800"; d="scan'208,217";a="198512096" Received: from mail-yw0-f175.google.com ([209.85.161.175]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 28 Oct 2016 15:04:48 +0200 Received: by mail-yw0-f175.google.com with SMTP id p22so68596489ywe.0 for ; Fri, 28 Oct 2016 06:04:48 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=ph4Fp1cljl4Y192BMqyGES8NcqQAmDSf8VoqHJv8Z3U=; b=KvlZnI221QjzkD+u9uGtrrUVSCCDWJFG8FPsdiA5uWCuf5YERgua64x1l8EP5GKqHM t6t5NkxW1NHXPIW+IN7+AVie7EmpJXq2+yWJLVeDgRKQmjZ/gvAq12UEv5DejjFrIrW6 jCWZ/bcBxsQtHUsj9PizTEzpk24rC+VYlzW5LTfSW5fCT8bBgSP2ZvD9rgQLnpl3wRkO /v5r2ViHsFMYDkPH61NNEtZBB8ribiyT2eAxhWvobJH9h4qSf1LEZFnCWbDYi3z3K4Ie TP1dtGunGuRk/O8GuLTcmd3Ydze0aIq4dId186oEz6LmZM9X5rC1zG4bqg/71hW6CSCH JAug== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=ph4Fp1cljl4Y192BMqyGES8NcqQAmDSf8VoqHJv8Z3U=; b=lpa/REZZpdwDRkjKDSAH5AfM7wceqkaiDs/W0W4mmCYfcCdRQPeeCAvbauikefcdMM rgwjuF23IwTMoVq80DtNtz8H9WXHKfXr+gz66PrOMEDxhz8XrXtNVyrR7oQsJAgm5Ngw cj0w6lsjGeIKt1ep5qFTCQ2BFhn1MhsWVCgdgz/XEnS20vSgYFn+jNv40qS5xZ0gR2Ym HY80mhVCVJhpZFmmG/nR2bA9YcSQ8HNMwgcMKm1p7cmZdHQQlCuWYn8kgd6sS6n12URg P7VYqH/73SrxV3jh8GMvWshngNksuUUm6L220JT3dmbDjJGZ4+FqF2H+Cq5Hc6M8JWzR 4jJw== X-Gm-Message-State: ABUngvdlbiaz2vUQtEDLwMtEo++aF4p4qVdqJ4QDJ1So0e/fJZMYmcyAVAUhPtwAtfLr92aW5/syPiNeQRYAHg== X-Received: by 10.129.114.137 with SMTP id n131mr11903900ywc.109.1477659886852; Fri, 28 Oct 2016 06:04:46 -0700 (PDT) MIME-Version: 1.0 Received: by 10.37.39.202 with HTTP; Fri, 28 Oct 2016 06:04:26 -0700 (PDT) In-Reply-To: References: From: Shayne Fletcher Date: Fri, 28 Oct 2016 09:04:26 -0400 Message-ID: To: Nicolas Ojeda Bar Cc: "caml-list@inria.fr users" Content-Type: multipart/alternative; boundary=001a11492ba4a7a215053fec802f Subject: Re: [Caml-list] Functor signature "inheritance" --001a11492ba4a7a215053fec802f Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable On Fri, Oct 28, 2016 at 9:01 AM, Nicolas Ojeda Bar < nicolas.ojeda.bar@lexifi.com> wrote: > One approach is to name the *output* signature of the functors: =E2=80=8BOoh! Thanks!=E2=80=8B --=20 Shayne Fletcher --001a11492ba4a7a215053fec802f Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable

= On Fri, Oct 28, 2016 at 9:01 AM, Nicolas Ojeda Bar <nicolas.oje= da.bar@lexifi.com> wrote:
O= ne approach is to name the *output* signature of the functors:
=

=E2=80=8BOoh! Thanks!=E2=80=8B

--
Shayne Fletcher
--001a11492ba4a7a215053fec802f--