From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <steph@glondu.net>
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 0355C7EF28
	for <caml-list@sympa.inria.fr>; Fri, 26 Jun 2015 20:07:40 +0200 (CEST)
X-IronPort-AV: E=Sophos;i="5.13,686,1427752800"; 
   d="scan'208";a="167511642"
Received: from wencory.loria.fr (HELO [152.81.3.42]) ([152.81.3.42])
  by mail2-relais-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-SHA; 26 Jun 2015 20:07:39 +0200
Message-ID: <558D94EB.3020902@glondu.net>
Date: Fri, 26 Jun 2015 20:07:39 +0200
From: =?UTF-8?B?U3TDqXBoYW5lIEdsb25kdQ==?= <steph@glondu.net>
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Icedove/31.7.0
MIME-Version: 1.0
To: caml users <caml-list@inria.fr>
CC: Debian Ocaml Maint ML <debian-ocaml-maint@lists.debian.org>, 
 790062@bugs.debian.org
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Subject: [Caml-list] Change in typing between OCaml 4.01.0 and 4.02.2...

Hello,

I am debugging why monotone-viz doesn't compile with OCaml 4.02.2. I
have reduced the problem to the following:

$ cat query.mli
val make : #App.t -> unit
$ cat app.mli
class type status =
  object
    method pop : unit -> unit
  end

class type t =
  object
    method query : status -> unit
  end

val make : unit -> t
$ cat app.ml
class type status =
  object
    method pop : unit -> unit
  end

class type t =
  object
    method query : status -> unit
  end

class ctrl : t =
  object (self)
    method query status =
      Query.make self;
      status#pop ()
  end

let make () =
  new ctrl
$ ocamlc -c app.mli
$ ocamlc -c query.mli
$ ocamlc -c app.ml

With OCaml 4.02.2, I get the following error message:

  File "app.ml", line 15, characters 6-12:
  Error: This expression has type App.status
         It has no method pop

which looks wrong. With OCaml 4.01.0, there is no error.

Does anyone understand what is going on?


Cheers,

-- 
Stéphane