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 57A6A7EE89 for ; Fri, 28 Oct 2016 18:18:15 +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-f181.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.181; 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.181 as permitted sender) identity=mailfrom; client-ip=209.85.161.181; 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-f181.google.com) identity=helo; client-ip=209.85.161.181; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="shayne.fletcher.50@gmail.com"; x-sender="postmaster@mail-yw0-f181.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AoI4+5hbkDcSkeyf247g6vU7/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZpcu4bnLW6fgltlLVR4KTs6sC0LuM9f+7Ej1eqb+681k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i760zceF13FOBZv?= =?us-ascii?q?IaytQ8iJ3p7xiLv5qsObSj4LrQL1Wal1IhSyoFeZnegtqqwmFJwMzADUqGBDYe?= =?us-ascii?q?VcyDAgD1uSmxHh+pX4p8Y7oGwD884mouhBWqL+dr9war5VAD1uGWkvrJnttBLE?= =?us-ascii?q?SQKUoHweX2kf1BBBGSDB4QH7UJa3uSz/4LlTwi6faPb2RKEyVHyM66p3Qx/lkm?= =?us-ascii?q?9TLD4w4WfazMJ0gb5QoB+74UEn64HRaYCRcvF5e/WOLpshWWNdU5MJBGR6CYSm?= =?us-ascii?q?Yt5XAg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BPAgDWeRNYhrWhVdFdHAEBBAEBCgEBF?= =?us-ascii?q?wEBBAEBCgEBgkoEMQEBAQEBd30HpC2MRQyCU4cihiMCgXcHQxABAQEBAQEBAQE?= =?us-ascii?q?BARIBAQEICwsJHTCCMxiCGAEBAwESER0BGx0BAwELBgUBAQIBBjcCAiEBAREBB?= =?us-ascii?q?QEcBhMiiBcBAw8IDqMUgTI/MotGgWuCXwWDWQoZJw1TgxEBAQEBAQUBAQEBAQE?= =?us-ascii?q?ZAgYQiwKCR4UEglsFgSUBmD0rCAEBgSeGPoUagyiBWI4siHOEHII/Ex6BETWBN?= =?us-ascii?q?IJWIIF6IjQBh3IBAQE?= X-IPAS-Result: =?us-ascii?q?A0BPAgDWeRNYhrWhVdFdHAEBBAEBCgEBFwEBBAEBCgEBgko?= =?us-ascii?q?EMQEBAQEBd30HpC2MRQyCU4cihiMCgXcHQxABAQEBAQEBAQEBARIBAQEICwsJH?= =?us-ascii?q?TCCMxiCGAEBAwESER0BGx0BAwELBgUBAQIBBjcCAiEBAREBBQEcBhMiiBcBAw8?= =?us-ascii?q?IDqMUgTI/MotGgWuCXwWDWQoZJw1TgxEBAQEBAQUBAQEBAQEZAgYQiwKCR4UEg?= =?us-ascii?q?lsFgSUBmD0rCAEBgSeGPoUagyiBWI4siHOEHII/Ex6BETWBNIJWIIF6IjQBh3I?= =?us-ascii?q?BAQE?= X-IronPort-AV: E=Sophos;i="5.31,410,1473112800"; d="scan'208,217";a="198536307" Received: from mail-yw0-f181.google.com ([209.85.161.181]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 28 Oct 2016 18:18:14 +0200 Received: by mail-yw0-f181.google.com with SMTP id w3so90825143ywg.1 for ; Fri, 28 Oct 2016 09:18:14 -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=TMXo+1yEVfUPnS/zflWcQGkJFwFiq3xMYhsCvaFJ4mc=; b=rK+a8A+OG936cJzReN2CzIUmJ84+UP20lZIwrG8hzHl0KAeGugy/zbB6og9awx70xM lflQd00cWlxON5YxsJ1MM0J7y8P25dTuJbh6aeDzb9HsXYyECVaffomGxMMkLrirVzwm 3hZPdoI/kgtCmUOz1aHZq19zvXKeXbQuX612CCG9z4zlAkAH1AJJaUOKoJrT7IGlWcup bAwrrhVzcJqyPev8vUZfKi8sqjITw6Lhm1GJj3xdw1KOBvVU8Z2dyrjcL9t6ODOSNQpF 0lopC+fpNaBaCm3etVArdC5J3hMYk8A7PkaCRvOFwZ6SjzlgSxj5TmeKBh3CZ8njM5zZ R1VQ== 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=TMXo+1yEVfUPnS/zflWcQGkJFwFiq3xMYhsCvaFJ4mc=; b=QcMJyx+kJWEaFFej+eG9TCNEpUh2H86bnEgT6A/Hr3An46/wn9PF2RaUeGS7NFVJgE 9aGLvUILaFykOwIV4l9gRgZKCimkDOr5m6DIrNG8k1cfHC66SzFrukz4YvKEGEdhcqDK Xi0Jd0xtD2Bmm9AOAMVnuUpxxzFyXRSj3xZTK3AMbT/W35Z0hk3feHjhj4rtP02Viud9 I9X8d36mFWCYp2csMO4XbfyGIrS6WH8etlb4hctnov4JmzxSUzrlbnaVXLYRRkND5nwb NLoyTzAWocLu6toPSp0qXuvFYGP9NlTa3otkk6t7G5Pr10V+wLj3NGhvRv8P+VuCysdA Ga+Q== X-Gm-Message-State: ABUngvciE8glWTANKY3sg4VzNwGGpyFzh7iudCnV3ivW85pm4jYFfbpU01P8aBTscouxhS7yIdM/OCJkX6p6BQ== X-Received: by 10.129.48.74 with SMTP id w71mr9012160yww.99.1477671493321; Fri, 28 Oct 2016 09:18:13 -0700 (PDT) MIME-Version: 1.0 Received: by 10.37.39.202 with HTTP; Fri, 28 Oct 2016 09:17:52 -0700 (PDT) In-Reply-To: References: From: Shayne Fletcher Date: Fri, 28 Oct 2016 12:17:52 -0400 Message-ID: To: Nicolas Ojeda Bar Cc: "caml-list@inria.fr users" Content-Type: multipart/alternative; boundary=001a114260e274865e053fef3417 Subject: Re: [Caml-list] Functor signature "inheritance" --001a114260e274865e053fef3417 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable On Fri, Oct 28, 2016 at 12:16 PM, Shayne Fletcher < shayne.fletcher.50@gmail.com> wrote: > module Mul_default (E : EQ) (N : NUM with type t =3D E.t) : MUL_S =3D str= uct > > type t =3D E.t > include (E : EQ with type t :=3D t) > include (N : NUM with type t :=3D t) > =E2=80=8BGrrr. No. I mucked up and put MUL_S. =E2=80=8B --=20 Shayne Fletcher --001a114260e274865e053fef3417 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable

= On Fri, Oct 28, 2016 at 12:16 PM, Shayne Fletcher <shayne.fletc= her.50@gmail.com> wrote:
module Mul_def= ault (E : EQ) (N : NUM with type t =3D E.t) : MUL_S =3D struct
=

<= /div>
=C2=A0 = type t =3D E.t
=C2=A0 include (E : EQ with type t :=3D t)
=C2=A0 include (N= : NUM with type t :=3D t)
=E2= =80=8BGrrr. No. I mucked up and put MUL_S.
=E2=80=8B



--
Shayne Fletcher
--001a114260e274865e053fef3417--