From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: weis
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id WAA07539 for caml-redistribution; Thu, 28 Oct 1999 22:33:23 +0200 (MET DST)
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id UAA31245 for <caml-list@pauillac.inria.fr>; Thu, 28 Oct 1999 20:15:02 +0200 (MET DST)
Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35])
	by concorde.inria.fr (8.8.7/8.8.7) with ESMTP id UAA20282;
	Thu, 28 Oct 1999 20:14:59 +0200 (MET DST)
Received: (from vouillon@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id UAA28783; Thu, 28 Oct 1999 20:15:00 +0200 (MET DST)
Message-ID: <19991028201500.62852@pauillac.inria.fr>
Date: Thu, 28 Oct 1999 20:15:00 +0200
From: Jerome Vouillon <Jerome.Vouillon@inria.fr>
To: Sylvain <Sylvain.Baro@lip6.fr>, caml-list@inria.fr
Subject: Re: Typing question
References: <Pine.LNX.4.04.9910251706200.10582-100000@samael.ufr-info-p6.jussieu.fr>
Mime-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1
Content-Transfer-Encoding: 8bit
X-Mailer: Mutt 0.89.1
In-Reply-To: <Pine.LNX.4.04.9910251706200.10582-100000@samael.ufr-info-p6.jussieu.fr>; from Sylvain on Mon, Oct 25, 1999 at 05:07:58PM +0200
Sender: weis


Hello,

On Mon, Oct 25, 1999 at 05:07:58PM +0200, Sylvain wrote:
> I tried to compile this file "foobar.ml" issuing 
> 
> ocamlc -c -i foobar.ml > foobar.mli
> ocamlc -c -i foobar.mli
> ocamlc -c foobar.ml
> 
> But at the third stage of the process, it answers me that the
> implementation doesn't match the interface ...

The type of a class in not always printed correctly.
In your case, the type of the first class should be :
    class nameTable :
      'a ->
      object
        constraint 'a = #answerToIsNewName
        val fatherContext : 'a
        val table : (string, nameInfo) Hashtbl.t
        method addName : string -> nameType -> unit
        method delName : string -> unit
        method isNewName : string -> bool
        method newName : nameType -> string
      end

-- Jérôme