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 A64907FF3C for ; Fri, 28 Oct 2016 15:55:32 +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-f180.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.180; 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.180 as permitted sender) identity=mailfrom; client-ip=209.85.161.180; 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-f180.google.com) identity=helo; client-ip=209.85.161.180; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="shayne.fletcher.50@gmail.com"; x-sender="postmaster@mail-yw0-f180.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3ALYZD8R9wTD1e1P9uRHKM819IXTAuvvDOBiVQ1KB+?= =?us-ascii?q?2+wcTK2v8tzYMVDF4r011RmSDN+dtKkP1rSe8/i5HzdfsdDZ6DFKWacPfiFGoP?= =?us-ascii?q?1epxYnDs+BBB+zB9/RRAt+Iv5/UkR49WqwK0lfFZW2TVTTpnqv8WxaQU2nZkIm?= =?us-ascii?q?btjyT5TTn8m7/+C744XCZwhQmDu2J7RoI0aYtwLU4/IWiJpkJ+4fzhbVqXtFYa?= =?us-ascii?q?wC3mNhNFSe2Rj469u7/JN5tXkIk/0k/s9EF679evJrHvRjED06PjVtt4XQvh7Z?= =?us-ascii?q?QF7X6w=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0D7AgBlWBNYhrShVdFbHAEBBAEBCgEBF?= =?us-ascii?q?wEBBAEBCgEBgn8BAQEBAYFpCwekLohMhAWCU4cihiMCgXEHQxABAQEBAQEBAQE?= =?us-ascii?q?BARIBAQEICwsJHTCCMxiCDgoBAQMBEhEdARsdAQMBCwYFAwEHNwICIgERAQUBH?= =?us-ascii?q?BkiiBcBAw8Io1OBMj8yi0aBa4JfBYNdChknDVODHAEBAQEGAQEBAQEBGQIGEIs?= =?us-ascii?q?ChROCOIJbBYElAZhoCAEBgSeGPohCgViOLI0Pgj8THoERNYE0glYggXoiNIdzA?= =?us-ascii?q?QEB?= X-IPAS-Result: =?us-ascii?q?A0D7AgBlWBNYhrShVdFbHAEBBAEBCgEBFwEBBAEBCgEBgn8?= =?us-ascii?q?BAQEBAYFpCwekLohMhAWCU4cihiMCgXEHQxABAQEBAQEBAQEBARIBAQEICwsJH?= =?us-ascii?q?TCCMxiCDgoBAQMBEhEdARsdAQMBCwYFAwEHNwICIgERAQUBHBkiiBcBAw8Io1O?= =?us-ascii?q?BMj8yi0aBa4JfBYNdChknDVODHAEBAQEGAQEBAQEBGQIGEIsChROCOIJbBYElA?= =?us-ascii?q?ZhoCAEBgSeGPohCgViOLI0Pgj8THoERNYE0glYggXoiNIdzAQEB?= X-IronPort-AV: E=Sophos;i="5.31,410,1473112800"; d="scan'208,217";a="242768218" Received: from mail-yw0-f180.google.com ([209.85.161.180]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 28 Oct 2016 15:55:31 +0200 Received: by mail-yw0-f180.google.com with SMTP id u124so86114637ywg.3 for ; Fri, 28 Oct 2016 06:55:31 -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=tKxlxqtsVWtsOUykjU3cLwLhOxx1+wTPLvX+R+N77ew=; b=kC4tofw0yYyIDtmXq/QSAWMSfoqxurLv/HS2LEV8jzydHt3mMRc27Z/GFg13W3eKom Hl+S0iAEwZAa9AuV1NamT4KAwYf26hJfUoG67MnstTdGnXskEedWYZeu1KJKaI7lTGI5 ixT9fgXHTT+HdtC1NBW/jzK1YZ1i1Og8HFn2Rs1+Txditb9rB486COPXCpTjspRvnLUA AMbzHp/3U0vs2SogReDw47UJ1KjKP6Swbau/chqofAferYOT3nhgwJsWrFwVagn3LqYq 1ZpIZJ7NOhou6CUi7PfyXQwVtDJSWDBvh+P0d7Gjj0FuhJUD2ROnmJM7YXfzPs6UC8Xy nH3w== 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=tKxlxqtsVWtsOUykjU3cLwLhOxx1+wTPLvX+R+N77ew=; b=I+w3SVcgYtj8Z4fm8s96qasRPEngXuTn57UI6LgmUlYKDokmCXjvRiScYbuGnngvku PIJGBuHur73dIY9wi8vffn2OkhSI5AeOPf2r2+4zx5McPpIyFQDWTBkHTNemUvH28cy4 tDxrMquD8YnjP23qy0+n1FyU0dxJwCB5OhfxYQKMRs1v20jKtOIg9U3Qa/2lnP/mjpwD Ak6eGuNWt8IG/R1dReBJZkVXj/7KUAZ7pDRkHnL+vYFa8PTlgCHmKnjSf4mOCH+0KGTG BZIWE77S+lmAGa2ciwCA02VhU5uPi4A5csG/ns8ER7f4AVikmSXWTqvvdAfnw4C5tvOH h5PA== X-Gm-Message-State: ABUngvdHVx9IdDY/fyHJ9xGPYbxGY/SsocXHmjX/r5ctLiuOnmJwfGPUAIoRaLB49CI+LdOcauUEPDotGYgzPQ== X-Received: by 10.129.26.11 with SMTP id a11mr13950501ywa.155.1477662930935; Fri, 28 Oct 2016 06:55:30 -0700 (PDT) MIME-Version: 1.0 Received: by 10.37.39.202 with HTTP; Fri, 28 Oct 2016 06:55:10 -0700 (PDT) In-Reply-To: <20161028134720.GA25915@ccellier.booking.pcln.com> References: <20161028134720.GA25915@ccellier.booking.pcln.com> From: Shayne Fletcher Date: Fri, 28 Oct 2016 09:55:10 -0400 Message-ID: To: rixed@happyleptic.org Cc: "caml-list@inria.fr users" Content-Type: multipart/alternative; boundary=001a1142e7e418dbba053fed36e9 Subject: Re: [Caml-list] Functor signature "inheritance" --001a1142e7e418dbba053fed36e9 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable On Fri, Oct 28, 2016 at 9:47 AM, wrote: > unfortunately never translated, and out of print. > That's really a shame. > =E2=80=8BTruly. I'd even try wading through it in French if it were availab= le somewhere but alas!=E2=80=8B --=20 Shayne Fletcher --001a1142e7e418dbba053fed36e9 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable

= On Fri, Oct 28, 2016 at 9:47 AM, <rixed@happyleptic.org> wrote:
unfortunately never translated, and out of print.
That's really a shame.

=E2=80=8BTruly. I'd ev= en try wading through it in French if it were available somewhere but alas!= =E2=80=8B

--
Shayne Fletcher
--001a1142e7e418dbba053fed36e9--