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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 490227EE89 for ; Fri, 28 Oct 2016 18:16:48 +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-f179.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.179; 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.179 as permitted sender) identity=mailfrom; client-ip=209.85.161.179; 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-f179.google.com) identity=helo; client-ip=209.85.161.179; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="shayne.fletcher.50@gmail.com"; x-sender="postmaster@mail-yw0-f179.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3Agf8fAB2dqS6upFjtsmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?segXKfad9pjvdHbS+e9qxAeQG96KsbQb0KGH7eigATVGusnR9ihaMdRlbFwst4?= =?us-ascii?q?Y/p0QYGsmLCEn2frbBThcRO4B8bmJj5GyxKkNPGczzNBX4q3y26iMOSF2kbVIm?= =?us-ascii?q?bre9JomHqcW80OS74NX0YQhEjXKXaKk6eBO3pgLVv9JQholvJq93wBLTin9Fa+?= =?us-ascii?q?VYxCVjIlfFzDjm4cLlx55q4iJd89wl+tJLUajgN/AjTbVJCjlgPWQ4+MbruAOF?= =?us-ascii?q?EFOn6X4VU2FQmR1NVVuWpCrmV4v853Op/tF23zOXaJX7?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BNAgBjeRNYhrOhVdFdHAEBBAEBCgEBF?= =?us-ascii?q?wEBBAEBCgEBgn8BAQEBAYF0B7B+glOHIoYjAoF3B0MQAQEBAQEBAQEBAQESAQE?= =?us-ascii?q?BCAsLCR0wgjMYghgBAQQSER0BGx0BAwwGBQQHNwICIQEBEQEFARwGEyKIFwEDF?= =?us-ascii?q?6MfgTI/MotGgWuCXwWDWQoZJw1TgxEBAQEBBgEBAQEBARkCBhCLAoJHhQSCWwW?= =?us-ascii?q?BJQGYPSsIAQGBJ4Y+hRqDKJAEiHOEHII/Ex6BETWBNIJWIIF6IjQBh3IBAQE?= X-IPAS-Result: =?us-ascii?q?A0BNAgBjeRNYhrOhVdFdHAEBBAEBCgEBFwEBBAEBCgEBgn8?= =?us-ascii?q?BAQEBAYF0B7B+glOHIoYjAoF3B0MQAQEBAQEBAQEBAQESAQEBCAsLCR0wgjMYg?= =?us-ascii?q?hgBAQQSER0BGx0BAwwGBQQHNwICIQEBEQEFARwGEyKIFwEDF6MfgTI/MotGgWu?= =?us-ascii?q?CXwWDWQoZJw1TgxEBAQEBBgEBAQEBARkCBhCLAoJHhQSCWwWBJQGYPSsIAQGBJ?= =?us-ascii?q?4Y+hRqDKJAEiHOEHII/Ex6BETWBNIJWIIF6IjQBh3IBAQE?= X-IronPort-AV: E=Sophos;i="5.31,410,1473112800"; d="scan'208,217";a="242788463" Received: from mail-yw0-f179.google.com ([209.85.161.179]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 28 Oct 2016 18:16:47 +0200 Received: by mail-yw0-f179.google.com with SMTP id u124so92624016ywg.3 for ; Fri, 28 Oct 2016 09:16:47 -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=2AUCajEYn0hh3kXIMLjJm/tMmGjUU9CPisedv+L8UIs=; b=j2HuAYtSkhTcjNovxpVQadqBSKqu/GfWr8j9pEthZ7b4Xdr0aqwi6oCK/cv+MNO8go 0UWabNo/iZ0LZK8l4bqkKp6ljuU/KRha7WnYe6CROnJDCTIO4QT3JfmK9ZkN07mPIfmz LbwXLeGA5EEpncqtX1ZT+TW5sb2mMm1yVfT5Sk7TntmsOQZaMnJc5/d7vdK1okQ4B9Na etK6g/ZKc5lBH15m1q1Tylu4+wzwGuJckN98zc+Mf1cfUB5cVSVZ/cXAgYzfEP59LvA0 xKEJqjFkkBhdoydVxDxqXE7W/NLRVsvv8QYmCGV3RbzU8unoeTrmtS45yzALrFX63pmF V14w== 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=2AUCajEYn0hh3kXIMLjJm/tMmGjUU9CPisedv+L8UIs=; b=H4koOKKY0qqwrbzJCBJzzfAlS9jFKFxAKJyU69GxmV0uDeCGG0FpnJONvJQDsWFXTN vxj9AqRNGXSOD0o/lyJlHilJnKtIlqQDP8G/hwY0HxvkIzPCpdpAZFskKHxYNRI4dqVr kuxnxOOnW5up/cH6giamVi26KYlmyu0qz7fL+70VbCXfcPtFTOnELSi4TF9evb3/PFq8 Qq1CHunZMPLu66HTrV/jbUQpZN8iT6Ux7e8775zIpDoOWH0oLIWC6CRSU7ihk7zWlbWe flB7hKj3e3DFbWin1qK8DyjcbmFJtOY6RVSIMKcLUE1JBCEEq0kdTKuovZTGxNmxfE2T fNfQ== X-Gm-Message-State: ABUngvcmuq02+XK+2YomTCXxVVbEVKVahEY+yjiXBFhKPI1pOLXPjGb1kpXEYGgGBveJ9H4ot7jEdRZ54lIGwA== X-Received: by 10.129.86.86 with SMTP id k83mr12813037ywb.256.1477671406213; Fri, 28 Oct 2016 09:16:46 -0700 (PDT) MIME-Version: 1.0 Received: by 10.37.39.202 with HTTP; Fri, 28 Oct 2016 09:16:25 -0700 (PDT) In-Reply-To: References: From: Shayne Fletcher Date: Fri, 28 Oct 2016 12:16:25 -0400 Message-ID: To: Nicolas Ojeda Bar Cc: "caml-list@inria.fr users" Content-Type: multipart/alternative; boundary=001a114329de432487053fef2fb5 Subject: Re: [Caml-list] Functor signature "inheritance" --001a114329de432487053fef2fb5 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable On Fri, Oct 28, 2016 at 12:12 PM, Shayne Fletcher < shayne.fletcher.50@gmail.com> wrote: > =E2=80=8BStill stuck on how to achieve this I'm afraid. > =E2=80=8BAh wait. I think I've got it. module Mul_default (E : EQ) (N : NUM with type t =3D E.t) : MUL_S =3D struct type t =3D E.t include (E : EQ with type t :=3D t) include (N : NUM with type t :=3D t) let mul (x : t) (y : t) : t =3D failwith "foo" end =E2=80=8B --=20 Shayne Fletcher --001a114329de432487053fef2fb5 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable

= On Fri, Oct 28, 2016 at 12:12 PM, Shayne Fletcher <shayne.fletc= her.50@gmail.com> wrote:
=E2=80=8BStill stuck on = how to achieve this I'm afraid.

=E2=80=8BAh wait. I think I've got it.

module Mul_default= (E : EQ) (N : NUM with type t =3D E.t) : MUL_S =3D struct

=C2=A0 type= t =3D E.t
=C2=A0 include (E : EQ with type t :=3D t)
=C2=A0 include (N : N= UM with type t :=3D t)

=C2=A0 let mul (x : t) (y : t) : t =3D failwit= h "foo"

end
= =E2=80=8B



--
Shayne Fletcher
--001a114329de432487053fef2fb5--