From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id BD8587ED7A for ; Fri, 21 Sep 2012 18:55:32 +0200 (CEST) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of markus.mottl@gmail.com) identity=pra; client-ip=74.125.82.182; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="markus.mottl@gmail.com"; x-sender="markus.mottl@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of markus.mottl@gmail.com designates 74.125.82.182 as permitted sender) identity=mailfrom; client-ip=74.125.82.182; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="markus.mottl@gmail.com"; x-sender="markus.mottl@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-we0-f182.google.com) identity=helo; client-ip=74.125.82.182; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="markus.mottl@gmail.com"; x-sender="postmaster@mail-we0-f182.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjwDAJmbXFBKfVK2kGdsb2JhbABFvREDfAgjAQEBAQkJDQcUBCOCIAEBAQQSAiwBFAcdAQMMBgULDS4hAQERAQUBHAYTIodQAQMPml8JA4wlgnWFFgoZJw1ZiHQBBQyKLmKBEoUUA5QPgVWLGIMrFimEIw X-IronPort-AV: E=Sophos;i="4.80,463,1344204000"; d="scan'208";a="174160879" Received: from mail-we0-f182.google.com ([74.125.82.182]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 21 Sep 2012 18:55:24 +0200 Received: by weyx56 with SMTP id x56so3173700wey.27 for ; Fri, 21 Sep 2012 09:55:24 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=Dd8xhigkBOgZtgaNUxcmnuNqnmyrHc9Qj9glx9Cs8hc=; b=r85xZeZUyaP70T98eNt1v+0LbExXR7DieO3MLo74ASmVsp8m6jXkxxR7PmZqw+empc Guk0KpnH1PPEJYs3ZGY1Og5AWBoAE2fvca1m6woDfEXoVNRwBlGxM/n0V8rJP8mvXxOO AeyMMMcMlk1akngQ6sEZDEVDKnomrezpvFPGrMiLWWqfVs8MxtF8/03A3rjJWEVSsq9H Y53KUKxGa4rRCaoOtKQIQc2pFWd+oJJW3mt3vsKBZpisKWg39vQigddv84zK59m9h+AY UWDH0tXQqQLSgPX5T+QH9XAq4DiLxspcW5cgTdPicsCzH9ECGccIJDfSs0nOvy7q1u1v 2wUA== MIME-Version: 1.0 Received: by 10.180.100.37 with SMTP id ev5mr5639562wib.5.1348246524125; Fri, 21 Sep 2012 09:55:24 -0700 (PDT) Received: by 10.180.86.162 with HTTP; Fri, 21 Sep 2012 09:55:24 -0700 (PDT) In-Reply-To: <4C5580B1-5737-40ED-B7B4-83ACFFAD491B@gmail.com> References: <3371F9A1-1248-42DC-9761-8A7797A1C1D1@gmail.com> <4C5580B1-5737-40ED-B7B4-83ACFFAD491B@gmail.com> Date: Fri, 21 Sep 2012 12:55:24 -0400 Message-ID: From: Markus Mottl To: Pierre-Etienne Meunier Cc: caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1 Subject: Re: [Caml-list] Partial module include On Fri, Sep 21, 2012 at 12:43 PM, Pierre-Etienne Meunier wrote: > No, sorry, what I wanted to override was a module: > > module A=struct > let a=0 > module B=struct let b=1 end > end > > module B=struct > include A > module B=struct let b=2 end > end You could try first class modules: module type B = sig val b : int end module A = struct let a = 0 let b = (module struct let b = 1 end : B) end module B = struct include A let b = (module struct let b = 2 end : B) end -- Markus Mottl http://www.ocaml.info markus.mottl@gmail.com