From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p4NAPgtF022338
	for <caml-list@sympa-roc.inria.fr>; Mon, 23 May 2011 12:25:45 +0200
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AsECANY12k1KfVM2kGdsb2JhbACEXJNKjXQIFAEBAQEJCQ0HFAQipmuLXzyCNYNlN4hiAQEDBoElg2eBBwSGSolHiwU7gzg
X-IronPort-AV: E=Sophos;i="4.65,255,1304287200"; 
   d="scan'208";a="99549915"
Received: from mail-gw0-f54.google.com ([74.125.83.54])
  by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 23 May 2011 12:25:45 +0200
Received: by gwb15 with SMTP id 15so3189410gwb.27
        for <caml-list@inria.fr>; Mon, 23 May 2011 03:25:44 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:mime-version:in-reply-to:references:date
         :message-id:subject:from:to:content-type:content-transfer-encoding;
        bh=mo+eu0BbPX1XB28E606duFz7DFgeMp/fa5PA4ZrzyTk=;
        b=Oyaz71B0zEs/d462viDbUHySpshaF3I3DinZPxcNDrd9Q18r6GK4jSN5AFL0EqmOaF
         8Y9AN78vT9AJTdvvuhU8KGGIVcgJMxKg6dlyyExeWRCAtsnsyK4VR8kr6zVpb0UeS0Uj
         /DXq8fnGHXbYBvLiah5bwQmOpenpTgUjwB9+M=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=mime-version:in-reply-to:references:date:message-id:subject:from:to
         :content-type:content-transfer-encoding;
        b=VVXduW4dpnc3vgSftenJpKv9kpYKuCopegmbguqgAM2PqVIMJgFrxBrMMsbk4n41KN
         T9uKFuHqFgvhcs81sl0Ze0rIoaXuDFgYFu1gYWkdNNxbyQdpQlHQzN23ndWzzyK9ycFJ
         gILDbuknBaNM0EgST0QhashJ7XNM1OjiWwPJw=
MIME-Version: 1.0
Received: by 10.150.251.38 with SMTP id y38mr2598794ybh.105.1306146344146;
 Mon, 23 May 2011 03:25:44 -0700 (PDT)
Received: by 10.151.6.21 with HTTP; Mon, 23 May 2011 03:25:43 -0700 (PDT)
In-Reply-To: <6966A071-C6AB-4549-A7AD-E58A4067D6CA@math.nagoya-u.ac.jp>
References: <BANLkTik6eujEYmnJKP83Ev0G6b0r0WX+fg@mail.gmail.com>
	<6966A071-C6AB-4549-A7AD-E58A4067D6CA@math.nagoya-u.ac.jp>
Date: Mon, 23 May 2011 13:25:43 +0300
Message-ID: <BANLkTikUpdkkWDAFQ98TO-zU9db+nVwA+w@mail.gmail.com>
From: Dmitry Grebeniuk <gdsfh1@gmail.com>
To: caml-list@inria.fr
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id p4NAPgtF022338
Subject: Re: [Caml-list] ocaml, objects, classes, type ascription, virtual methods

Hello.

>>  Is it the expected behaviour?
>
> It is indeed the expected behaviour.
[...]
>  class ext = object (_ : #base) method m = () end

  Thank you for the answer.  I'll choose this option --
it types, it works, it does not require explicit class type.