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 118837EE89 for ; Sat, 29 Oct 2016 20:43:35 +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=3AgZ9f0RcB3o8oxCQAItL9JNBhlGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxc69YB7h7PlgxGXEQZ/co6odzbGH6ea/BCdZu8jJmUtBWaQEbwUCh8?= =?us-ascii?q?QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYsExnyfTB4?= =?us-ascii?q?Ov7yUtaLyZ/mjabtptaKOVsArQH+SIs6FA+xowTVu5teqqpZAYF19CH0pGBVcf?= =?us-ascii?q?9d32JiKAHbtR/94sCt4MwrqHwI6Lpyv/JHBIP7dKM8RKcQKzYrP2l9zsTx/U3F?= =?us-ascii?q?TACI4nIHFGIUnxZBRQLM9jn+U4fwvCq8ve14jnq0J8rzGIs0UCWk4u9FTBL0gy?= =?us-ascii?q?cKLXZt62Hem8p9yqxfrQ6qpxFlhdOMSI6QPft6OKjaeIVJFiJ6Qs9NWnkZUcuH?= =?us-ascii?q?ZIwVAr9ZMA=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BxAACv7BRYf6+hVdFdHAEBBAEBCgEBF?= =?us-ascii?q?wEBBAEBCgEBgkoEMQEBAQEBPTp9B6QviEyEBIJThRuCByeFfAKBegdBEgEBAQE?= =?us-ascii?q?BAQEBAQEBEgEBCQsLCRsygjMYghgBAQMBEhEdARsdAQMBCwYFAQECAQY3AgIiA?= =?us-ascii?q?REBBQEcBhMiiBcBAw8IDqRGgTI/MotGgWuCXwWDUgoZJw1UgxUBAQEBAQEEAQE?= =?us-ascii?q?BAQEBARgCBhCBCol4h0sUgkgFgSUBmGgIAQGBKIUIgTiISII8jUiJGoN3gkATH?= =?us-ascii?q?oERDxYIgT+CXIIaIjQBAQGISAEBAQ?= X-IPAS-Result: =?us-ascii?q?A0BxAACv7BRYf6+hVdFdHAEBBAEBCgEBFwEBBAEBCgEBgko?= =?us-ascii?q?EMQEBAQEBPTp9B6QviEyEBIJThRuCByeFfAKBegdBEgEBAQEBAQEBAQEBEgEBC?= =?us-ascii?q?QsLCRsygjMYghgBAQMBEhEdARsdAQMBCwYFAQECAQY3AgIiAREBBQEcBhMiiBc?= =?us-ascii?q?BAw8IDqRGgTI/MotGgWuCXwWDUgoZJw1UgxUBAQEBAQEEAQEBAQEBARgCBhCBC?= =?us-ascii?q?ol4h0sUgkgFgSUBmGgIAQGBKIUIgTiISII8jUiJGoN3gkATHoERDxYIgT+CXII?= =?us-ascii?q?aIjQBAQGISAEBAQ?= X-IronPort-AV: E=Sophos;i="5.31,565,1473112800"; d="scan'208,217";a="198613152" Received: from mail-yw0-f175.google.com ([209.85.161.175]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 29 Oct 2016 20:43:33 +0200 Received: by mail-yw0-f175.google.com with SMTP id u124so115272822ywg.3 for ; Sat, 29 Oct 2016 11:43:33 -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=O2CRwfq7KPxg8voy5jHmvSge1wC9g/dmywqICEWdssg=; b=UhRx/fHI/NBzpBpbkmaPytL0s9bhPF2vBQ4NCgGA0RYtiE6c5QBlUJCueLKbReoly7 +AQY+2zQrqqKc4VVNZ9ZMIqQaqs+TwWSVzi2EMl8lesJQH9gBCHmyN3SYJPCu+Tfik6b MIPHnWTkWzNVNOprwZGZykwZUx+ri+Zzym2RLsyJMFEK+2bnSZuqrVDHpmsciQXG4LrD HDYZuC0AhoyPbDFNKx1hGYxrhJqyRhEHzOc4/mgXkX6Lc3VUSNioBvR0Ru/HEg274eJc aTWqlYnhue1TjWOZkS9eRJD0Kz7F4fpDmbonFRxV4yDQuQQE816oYNzgif1pFzvIMJM2 5mXw== 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=O2CRwfq7KPxg8voy5jHmvSge1wC9g/dmywqICEWdssg=; b=gJpf3kgH/djD/K7BYp6c0fGEqw4qeLyuHZ5hOdmTrV1wYXkxcA0FF8R141MoGQ/iRY oZQHK5hsrs4VKR4llZ2XIo0vfAZ3VyGkBFrKpd/MoWJQivOWJJt7x+xPnGKFIexXTxti ucSVFq1ESpZkuGka0HwbB7njt9ppyiGRmNspokgBWfaCy86eVksC/9HjDzdjkuUsyR0c /kH/Yl9R9iL1je0L1WjflFhByvJIHQShPQ1TEtzE00yXEsm2zspuF+Dixsto+PQ4jnsE dB5dCo7N2DH+pBj3TBe3N8iu62WqX/GKmBr/HUnNz47AIh3et/4bJvLmLdFHU1xkRqEK u+Pw== X-Gm-Message-State: ABUngvejqIEv7m35m6jBNSHpRjZD1Bnj8IjZjyV7JLzek51nJ0Iy36fNK94S6Y7GQGmGRM1ELpM4UYTN+l7qmQ== X-Received: by 10.13.226.13 with SMTP id l13mr1799107ywe.77.1477766612768; Sat, 29 Oct 2016 11:43:32 -0700 (PDT) MIME-Version: 1.0 Received: by 10.37.39.202 with HTTP; Sat, 29 Oct 2016 11:43:12 -0700 (PDT) In-Reply-To: References: From: Shayne Fletcher Date: Sat, 29 Oct 2016 14:43:12 -0400 Message-ID: To: Nicolas Ojeda Bar Cc: "caml-list@inria.fr users" Content-Type: multipart/alternative; boundary=001a114fbcbe03e7050540055ab5 Subject: Re: [Caml-list] Functor signature "inheritance" --001a114fbcbe03e7050540055ab5 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 : =E2=80=8BThanks again for all your help, rixed, Gabriel, Nicolas! I wrote u= p all that I learned in this exercise, here =2E --=20 Shayne Fletcher --001a114fbcbe03e7050540055ab5 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable

On Fri, Oct 28, 2016 at 9:25 AM, Nicolas O= jeda Bar <nicolas.ojeda.bar@lexifi.com> wrote:
You can add a constrain to your functor arg= uments :

=E2=80=8BThanks again for all your help, rixed, Ga= briel, Nicolas! I wrote up all that I learned in this exercise,=C2=A0here.

--
Shayne Fletcher
--001a114fbcbe03e7050540055ab5--