From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id SAA02163 for caml-red; Thu, 11 Jan 2001 18:33:23 +0100 (MET)
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 NAA25125 for <caml-list@pauillac.inria.fr>; Thu, 11 Jan 2001 13:26:44 +0100 (MET)
Received: from lamppc2.epfl.ch (lamppc2.epfl.ch [128.178.154.4])
	by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f0BCQhj17926
	for <caml-list@inria.fr>; Thu, 11 Jan 2001 13:26:43 +0100 (MET)
Received: (from schinz@localhost)
	by lamppc2.epfl.ch (8.9.3/8.9.3) id NAA14351;
	Thu, 11 Jan 2001 13:26:43 +0100
To: caml-list@inria.fr
Subject: Re: Why can't I use val mover : < move : int -> unit; .. > list -> unit ?
References: <HDEEKOMJILGEIHIMAPCDGEFPDNAA.mattias.waldau@tacton.se>
From: Michel Schinz <Michel.Schinz@epfl.ch>
Date: 11 Jan 2001 13:26:43 +0100
In-Reply-To: "Mattias Waldau"'s message of "Thu, 11 Jan 2001 10:07:33 +0100"
Message-ID: <yorselyal1fg.fsf@lamppc2.epfl.ch>
User-Agent: Gnus/5.070099 (Pterodactyl Gnus v0.99) Emacs/20.3
MIME-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1
Content-Transfer-Encoding: 8bit
Sender: weis@pauillac.inria.fr

"Mattias Waldau" <mattias.waldau@tacton.se> writes:

[...]

> Also, I would be interested in how Ocaml can make the call within
> main and mover to move efficiently. Other static compiled
> OO-languages use vtables, but I don't see how Ocaml can use a
> vtable. How expensive are these methods calls? There are no numbers
> of this in the Ocaml-FAQ

Jérôme Vouillon wrote a message in this list once to explain the
dispatching technique used in OCaml. The message is archived there:

  http://pauillac.inria.fr/~doligez/caml-guts/objects.txt

Michel.