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 DE7B57EE89 for ; Fri, 28 Oct 2016 15:29:17 +0200 (CEST) Authentication-Results: mail2-smtp-roc.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-f174.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of shayne.fletcher.50@gmail.com) identity=pra; client-ip=209.85.161.174; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="shayne.fletcher.50@gmail.com"; x-sender="shayne.fletcher.50@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of shayne.fletcher.50@gmail.com designates 209.85.161.174 as permitted sender) identity=mailfrom; client-ip=209.85.161.174; receiver=mail2-smtp-roc.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 (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-yw0-f174.google.com) identity=helo; client-ip=209.85.161.174; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="shayne.fletcher.50@gmail.com"; x-sender="postmaster@mail-yw0-f174.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AHlCJsBLo4g4Q8PnIatmcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgUK//xwZ3uMQTl6Ol3ixeRBMOAuqgC1LGd7v6oGTRZp83e4DZaKN0EfiRGoP?= =?us-ascii?q?tVtjRoONSCB0z/IayiRA0BN+MGamVY+WqmO1NeAsf0ag6aiHSz6TkPBke3blIt?= =?us-ascii?q?daymUrLV2uK23Oe28oabRAdFiDP1S7poZEGwrA7WssANx4xgJ6o4jBHAuFNMdv?= =?us-ascii?q?RXy2IuLlWWyUXS/MC1qaVj+jVWtroP88NcWqX3ZexsVrxRHTIrdW4x6dHgtRTZ?= =?us-ascii?q?C1bXznQZW2QS1BFPBl6Wv1nBQp7tv36i5aJG0y6AMJiuQA=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A4AgB6URNYhq6hVdFcHAEBBAEBCgEBF?= =?us-ascii?q?wEBBAEBCgEBgn8BAQEBAYF0B6QuiEyEBYJThRuCB4YjAoF0B0ESAQEBAQEBAQE?= =?us-ascii?q?BAQESAQEBCAsLCR0wgjMYgg4KAQEDARIRBBkBGx0BAwELBgUDAQc3AgIiAREBB?= =?us-ascii?q?QEcBhMiiBcBAw8Io0eBMj8yi0aBa4JfBYNdChknDVODHAEBAQEGAQEBAQEBGQI?= =?us-ascii?q?GEIsCh0uCWwWBJQGYaAgBAYEnhj6IQpAEjQ+CPxMegREkAYFEglYggXoiNAGHc?= =?us-ascii?q?gEBAQ?= X-IPAS-Result: =?us-ascii?q?A0A4AgB6URNYhq6hVdFcHAEBBAEBCgEBFwEBBAEBCgEBgn8?= =?us-ascii?q?BAQEBAYF0B6QuiEyEBYJThRuCB4YjAoF0B0ESAQEBAQEBAQEBAQESAQEBCAsLC?= =?us-ascii?q?R0wgjMYgg4KAQEDARIRBBkBGx0BAwELBgUDAQc3AgIiAREBBQEcBhMiiBcBAw8?= =?us-ascii?q?Io0eBMj8yi0aBa4JfBYNdChknDVODHAEBAQEGAQEBAQEBGQIGEIsCh0uCWwWBJ?= =?us-ascii?q?QGYaAgBAYEnhj6IQpAEjQ+CPxMegREkAYFEglYggXoiNAGHcgEBAQ?= X-IronPort-AV: E=Sophos;i="5.31,410,1473112800"; d="scan'208,217";a="242763917" Received: from mail-yw0-f174.google.com ([209.85.161.174]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 28 Oct 2016 15:29:17 +0200 Received: by mail-yw0-f174.google.com with SMTP id u124so84918255ywg.3 for ; Fri, 28 Oct 2016 06:29:17 -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=eiONp/D9L4JtSEWprIz9aGO/rm3ZeErmVY93fPcIz2o=; b=FjCR9E5cDVj/sQ1GqC3gY/Kcxgfcg1ydhClio8c+LrdvsgNjlMgJOKXiFW4cRjRWF3 GxsTCimn0n5jAtI14K9PwLlfjGNVAsm0ZtGx71QeSJrc+dXEV/l3su7pOEJDbLrIKD3V +r5zuvyVyeIJ8kBsHl+3MmV7UAmuVkHQdeyW2xN765IiwqY82THwkLi9PJgyGtyUqNwi ElIqBlF5Lf5iV/PcGaQALopRRPv03H1pdu6VkcJgspLnXWyozkEsMqJpmV4KeiwQdCH7 8JrAuSU+qBwYQKukUPmXdgVminX0ODQaw5x7i3m0sosdEfaH++gzzVjl64HMfoN/U+wT /kvg== 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=eiONp/D9L4JtSEWprIz9aGO/rm3ZeErmVY93fPcIz2o=; b=P5z9NX4Xk/QMnxM8U3kks2FmW7fHzV3MR/NmQD45XMnP+3AYsnUjzvTP6XdFpBa/QN ydJBBLHkqL7A/+Unl27xwE0qjRygWjNwN7/q7iissJ1pndXOAYHOgCpfzzKSQcQZi26l X2PkYSFAk1T5I2hs1A99xzhtYOJEMpWwi7r5ZhPghnOkbPEVMF5piEECsTzeXwjTyvtx QyNF6MZJTyha9NQytIrBDc9iNOe4wC1MLmcix200bhpms/xDDsfVIk0ZZVErH7SG6KfS UMldGHu4VxSMJwhjgto8eNGj3VDQRa7/m/hfXaualt5CBkM/zUKSWyXBIEUB9utZLprK 0cGQ== X-Gm-Message-State: ABUngvfQek1iPBoNkzBrQQZ/bi+QKatXJ9yZJBUjHeHcwkSHPAXgX6jcIBbcKr06R/aR+c+8ziM0+nTraV6lLA== X-Received: by 10.13.248.195 with SMTP id i186mr11959161ywf.103.1477661355403; Fri, 28 Oct 2016 06:29:15 -0700 (PDT) MIME-Version: 1.0 Received: by 10.37.39.202 with HTTP; Fri, 28 Oct 2016 06:28:54 -0700 (PDT) In-Reply-To: References: From: Shayne Fletcher Date: Fri, 28 Oct 2016 09:28:54 -0400 Message-ID: To: Nicolas Ojeda Bar Cc: "caml-list@inria.fr users" Content-Type: multipart/alternative; boundary=94eb2c0826a22feede053fecd81d Subject: Re: [Caml-list] Functor signature "inheritance" --94eb2c0826a22feede053fecd81d Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable On Fri, Oct 28, 2016 at 9:25 AM, Nicolas Ojeda Bar < nicolas.ojeda.bar@lexifi.com> wrote: > You can add a constrain to your functor arguments : > > module type MUL =3D functor (E : EQ) (N : NUM with type t =3D E.t) -> > MUL_S with module N :=3D N and module E :=3D E > =E2=80=8BThat does it! I tried so many different things :) You're a rock 'n= roll star. We *really* need a comprehensive tutorial or reference on how to express sharing constraints!=E2=80=8B --=20 Shayne Fletcher --94eb2c0826a22feede053fecd81d Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable

= On Fri, Oct 28, 2016 at 9:25 AM, Nicolas Ojeda Bar <nicolas.oje= da.bar@lexifi.com> wrote:
<= div>You can add a constrain to your functor arguments :

module type MUL =3D functor (E : EQ) (N : NUM with type t =3D E.t) -&= gt;
=C2=A0 =C2=A0 MUL_S with module N :=3D N and= module E :=3D E

=E2=80=8BThat do= es it! I tried so many different things :) You're a rock 'n roll st= ar.

We *really* need a comprehensive tutorial or reference on how to= express sharing constraints!=E2=80=8B

--
Shayne Fletcher
--94eb2c0826a22feede053fecd81d--