From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <tom.j.ridge@googlemail.com>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
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 1F51F7F7C2
	for <caml-list@sympa.inria.fr>; Mon,  3 Feb 2014 16:12:53 +0100 (CET)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  tom.j.ridge@googlemail.com) identity=pra;
  client-ip=209.85.160.46;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="tom.j.ridge@googlemail.com";
  x-sender="tom.j.ridge@googlemail.com";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  tom.j.ridge@googlemail.com designates 209.85.160.46 as
  permitted sender) identity=mailfrom; client-ip=209.85.160.46;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="tom.j.ridge@googlemail.com";
  x-sender="tom.j.ridge@googlemail.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-pb0-f46.google.com) identity=helo;
  client-ip=209.85.160.46;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="tom.j.ridge@googlemail.com";
  x-sender="postmaster@mail-pb0-f46.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AmgCABux71LRVaAulGdsb2JhbABZhBuCQrxHCBYOAQEBAQcLCwkSKoIlAQEEAScZAQE3AQ8BCgs7IhIBBQEcBogDAQMJCJ9OixOEUgEFkz8KGScNiTMRBpNIAZgtkDQYKYFlgnQ8
X-IPAS-Result: AmgCABux71LRVaAulGdsb2JhbABZhBuCQrxHCBYOAQEBAQcLCwkSKoIlAQEEAScZAQE3AQ8BCgs7IhIBBQEcBogDAQMJCJ9OixOEUgEFkz8KGScNiTMRBpNIAZgtkDQYKYFlgnQ8
X-IronPort-AV: E=Sophos;i="4.95,773,1384297200"; 
   d="scan'208";a="47611831"
Received: from mail-pb0-f46.google.com ([209.85.160.46])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 03 Feb 2014 16:12:52 +0100
Received: by mail-pb0-f46.google.com with SMTP id um1so7123198pbc.19
        for <caml-list@inria.fr>; Mon, 03 Feb 2014 07:12:50 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlemail.com; s=20120113;
        h=mime-version:sender:in-reply-to:references:from:date:message-id
         :subject:to:cc:content-type;
        bh=H0HanZgRmDSrE24M5zSUXJ7ve9ytDRu0ou9n/UZknro=;
        b=x1wchCxteqov1u1ecKLBPbs2+Q9Wj64GvGe/SyEtm4sgP6qtOiw/7GJIudV3K5T8oD
         sw3rKZDGrHUEHPs2FkGB/XYmYw0mGBDorHe5aXY+cmnhWGz98F2W7T8eYRvtfOOARAkt
         wjnz5VugkubKWIGSNY+x8jH8yVzpEIfiYY3Tkr5g9fA8PEJxuc39QATuIO2Nvf1R2+9Q
         qfmkxoxnlLzmHGJzNgnOklPIdse9Ov3LqAz9Do1WVmvosI6i0eiN6WldIR6Ouz9UUht1
         MaRm/MxsQDRL/soYnmNBi1EXAfPgZoJIXj91KiAYqxcVnFm8VaS0RZ1GU0mp17XLRTtQ
         maUg==
X-Received: by 10.67.8.102 with SMTP id dj6mr37568922pad.10.1391440370207;
 Mon, 03 Feb 2014 07:12:50 -0800 (PST)
MIME-Version: 1.0
Sender: tom.j.ridge@googlemail.com
Received: by 10.70.104.243 with HTTP; Mon, 3 Feb 2014 07:12:30 -0800 (PST)
In-Reply-To: <52EF9FD7.7080204@frisch.fr>
References: <CABooLwN_1vpyQAfA53cAiTk_5zACny1YZBt+dLd7h6WYyQiXQw@mail.gmail.com>
 <20140203103548.GA31067@frosties> <52EF9FD7.7080204@frisch.fr>
From: Tom Ridge <tom.j.ridge+list@googlemail.com>
Date: Mon, 3 Feb 2014 15:12:30 +0000
X-Google-Sender-Auth: _RM69-JqCLVcStZbF22BljjCGNA
Message-ID: <CABooLwNHQx8Sjb6iWyShjrFUvqp98xd=pfM=3ec7ET3H-M6K3Q@mail.gmail.com>
To: Alain Frisch <alain@frisch.fr>
Cc: Goswin von Brederlow <goswin-v-b@web.de>, caml-list <caml-list@inria.fr>
Content-Type: text/plain; charset=ISO-8859-1
Subject: Re: [Caml-list] Question about objects and method overriding

>
> For a given list of methods, one can define safe (I believe!) instances of
> unsafe_override, for instance:
>
> let override_x_y : (< x : 'x; y : 'y; .. > as 'this) -> < x : 'x; y : 'y >
> -> 'this = unsafe_override;;
>
>
> This function can be used to override methods x and y of an object having
> these methods and potentially more.
>

I think this is exactly what I want! Thanks.