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
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
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
This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:28 MET