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 IAA06315 for caml-redistribution; Thu, 2 Dec 1999 08:56:01 +0100 (MET)
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id QAA12613 for <caml-list@pauillac.inria.fr>; Tue, 30 Nov 1999 16:43:03 +0100 (MET)
Received: from sunray.informatik.uni-tuebingen.de (sunray.Informatik.Uni-Tuebingen.De [134.2.11.38])
	by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id QAA21285
	for <caml-list@inria.fr>; Tue, 30 Nov 1999 16:43:02 +0100 (MET)
Received: (from pfitzen@localhost)
	by sunray.informatik.uni-tuebingen.de (8.9.1a/8.9.1) id QAA19049
	for caml-list@inria.fr; Tue, 30 Nov 1999 16:42:56 +0100 (MET)
Date: Tue, 30 Nov 1999 16:42:56 +0100 (MET)
From: Juergen Pfitzenmaier <pfitzen@informatik.uni-tuebingen.de>
Message-Id: <199911301542.QAA19049@sunray.informatik.uni-tuebingen.de>
To: caml-list@inria.fr
Subject:  Re: Objective Label 2.04
Sender: weis

Jacques Garrigue wrote:
>    * are using polymorphic methods. For technical reasons, this
>     feature will probably not be included soon in OCaml.

Why ? Polymorphic methods are the best part of OLabl. It should'nt
be too hard to move code from OLabl to the OCaml distribution ?

pfitzen