From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <francois.pottier@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 73D877FD90
	for <caml-list@sympa.inria.fr>; Fri, 13 Jan 2017 12:04:23 +0100 (CET)
X-IronPort-AV: E=Sophos;i="5.33,221,1477954800"; 
   d="scan'208";a="209023550"
Received: from dt-64014.paris.inria.fr (HELO [128.93.64.14]) ([128.93.64.14])
  by mail3-relais-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-SHA; 13 Jan 2017 12:04:23 +0100
To: Nathan Moreau <nathanjmoreau@gmail.com>
References: <99968acc-c9f1-273f-d983-4a286a2e8068@inria.fr>
 <CADDcBWXDbGyntNnv22Z4hv5K98OXu21mxS2d8Ju7k8ygqAmaQQ@mail.gmail.com>
Cc: caml users <caml-list@inria.fr>
From: =?UTF-8?Q?Fran=c3=a7ois_Pottier?= <francois.pottier@inria.fr>
Message-ID: <b7f9e31b-2f16-dd2a-56b7-8e3d5a271930@inria.fr>
Date: Fri, 13 Jan 2017 12:04:23 +0100
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101
 Thunderbird/45.5.1
MIME-Version: 1.0
In-Reply-To: <CADDcBWXDbGyntNnv22Z4hv5K98OXu21mxS2d8Ju7k8ygqAmaQQ@mail.gmail.com>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Subject: Re: [Caml-list] How to indicate that I am overriding an inherited
 virtual method?

On 13/01/2017 10:20, Nathan Moreau wrote:
> You can ensure you are overriding, using
>
>   class virtual base = object
>     method virtual foo: string
>   end
>
>   class child = object
>     inherit base as b
>     method foo = if false then b # foo else "ha!"
>       (* OK *)
>   end

Interesting trick (albeit somewhat ugly), thanks!

-- 
François Pottier
francois.pottier@inria.fr
http://gallium.inria.fr/~fpottier/