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 XAA30178 for caml-redistribution; Sun, 5 Dec 1999 23:18:43 +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 AAA22573 for <caml-list@pauillac.inria.fr>; Sat, 4 Dec 1999 00:34:35 +0100 (MET)
Received: from shell5.ba.best.com (shell5.ba.best.com [206.184.139.136])
	by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id AAA02446;
	Sat, 4 Dec 1999 00:34:33 +0100 (MET)
Received: from localhost (bpr@localhost)
	by shell5.ba.best.com (8.9.3/8.9.2/best.sh) with ESMTP id PAA26236;
	Fri, 3 Dec 1999 15:34:31 -0800 (PST)
Date: Fri, 3 Dec 1999 15:34:31 -0800 (PST)
From: Brian Rogoff <bpr@best.com>
To: Jacques Garrigue <Jacques.Garrigue@inria.fr>
cc: caml-list@inria.fr
Subject: Re: Objective Label 2.04
In-Reply-To: <19991202103649W.garrigue@pauillac.inria.fr>
Message-ID: <Pine.BSF.4.10.9912031525210.15990-100000@shell5.ba.best.com>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
Sender: weis

On Thu, 2 Dec 1999, Jacques Garrigue wrote:
> By the way, I do not think that polymorphic methods are the _best_
> part of olabl. As its name goes, I believe that really labels are the
> nice part... But anybody may choose its pet feature.

Speaking of pet features, I noticed that the overloaded record label
feature of OLabl didn't make the cut. Can we expect that it will be  
included in a future OCaml, or is there a reason why we shouldn't?

-- Brian