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